Pages that link to "Item:Q4651488"

The following pages link to Complete Axiomatizations for Reasoning about Knowledge and Time (Q4651488):

Displaying 47 items.

• On axiomatizations of public announcement logic (Q484925) (← links)
• Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
• Permission to speak: a logic for access control and conformance (Q615900) (← links)
• Merging DEL and ETL (Q616038) (← links)
• Automata for epistemic temporal logic with synchronous communication (Q616040) (← links)
• Bounded model checking for knowledge and real time (Q1028970) (← links)
• Merging frameworks for interaction (Q1037376) (← links)
• Clausal resolution in a logic of rational agency (Q1606116) (← links)
• Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems (Q1712550) (← links)
• Memory and perfect recall in extensive games (Q1885433) (← links)
• Exponential improvement of time complexity of model checking for multiagent systems with perfect recall (Q1938921) (← links)
• On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
• Announcement as effort on topological spaces (Q2053358) (← links)
• Discrete linear temporal logic with knowing-value operator (Q2148826) (← links)
• A history based logic for dynamic preference updates (Q2209166) (← links)
• Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
• Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
• Formalisation of probabilistic concealment (Q2318502) (← links)
• Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability (Q2376368) (← links)
• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q2436101) (← links)
• Simulative belief logic (Q2446544) (← links)
• A sequent calculus for logic of knowledge and past time: completeness and decidability (Q2471643) (← links)
• Some comments on history based structures (Q2475431) (← links)
• Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
• The logic of knowledge based obligation (Q2500829) (← links)
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory (Q2663553) (← links)
• A process calculus for privacy-preserving protocols in location-based service systems (Q2669244) (← links)
• Temporal Logics of Knowledge and their Applications in Security (Q2866724) (← links)
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
• Logics of Rational Interaction (Q2902939) (← links)
• Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus (Q2946334) (← links)
• REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
• Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
• Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles (Q3457707) (← links)
• Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic (Q3614879) (← links)
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
• Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)
• (Q4966494) (← links)
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language (Q5013615) (← links)
• Finite sequent calculi for PLTL (Q5040746) (← links)
• Propositional Dynamic Logic for Hyperproperties (Q5089318) (← links)
• A communication algorithm for teamwork in multi-agent environments (Q5188175) (← links)
• On Linear Logic of Knowledge and Time (Q5214743) (← links)
• Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
• 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 (Q5387300) (← links)
• A Connectionist Computational Model for Epistemic and Temporal Reasoning (Q5476690) (← links)
• Logics for Temporal Information Systems in Rough Set Theory (Q5875942) (← links)