Complete Axiomatizations for Reasoning about Knowledge and Time
From MaRDI portal
Publication:4651488
DOI10.1137/S0097539797320906zbMath1059.68127OpenAlexW1645519945MaRDI QIDQ4651488
Ron van der Meyden, Moshe Y. Vardi, Joseph Y. Halpern
Publication date: 21 February 2005
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/s0097539797320906
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70) Temporal logic (03B44)
Related Items (47)
Finite sequent calculi for PLTL ⋮ Memory and perfect recall in extensive games ⋮ An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking ⋮ Logics of Rational Interaction ⋮ Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability ⋮ Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles ⋮ Discrete linear temporal logic with knowing-value operator ⋮ Unnamed Item ⋮ Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ A process calculus for privacy-preserving protocols in location-based service systems ⋮ Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus ⋮ Permission to speak: a logic for access control and conformance ⋮ Merging DEL and ETL ⋮ Automata for epistemic temporal logic with synchronous communication ⋮ Exponential improvement of time complexity of model checking for multiagent systems with perfect recall ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ A history based logic for dynamic preference updates ⋮ Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems ⋮ Simulative belief logic ⋮ 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 ⋮ On axiomatizations of public announcement logic ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ A sequent calculus for logic of knowledge and past time: completeness and decidability ⋮ Some comments on history based structures ⋮ Using temporal logics of knowledge for specification and verification -- a case study ⋮ A communication algorithm for teamwork in multi-agent environments ⋮ The logic of knowledge based obligation ⋮ Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic ⋮ Intensional protocols for dynamic epistemic logic ⋮ On Linear Logic of Knowledge and Time ⋮ Announcement as effort on topological spaces ⋮ A Connectionist Computational Model for Epistemic and Temporal Reasoning ⋮ First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment ⋮ Propositional Dynamic Logic for Hyperproperties ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION ⋮ Bounded model checking for knowledge and real time ⋮ Tableaux for logics of time and knowledge with interactions relating to synchrony ⋮ Formalisation of probabilistic concealment ⋮ Merging frameworks for interaction ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ Clausal resolution in a logic of rational agency ⋮ Logics for Temporal Information Systems in Rough Set Theory
This page was built for publication: Complete Axiomatizations for Reasoning about Knowledge and Time
