Complete axiomatizations for reasoning about knowledge and branching time
From MaRDI portal
Publication:1420806
DOI10.1023/A:1026181001368zbMath1037.03010OpenAlexW181848957MaRDI QIDQ1420806
Ron van der Meyden, Ka-Shu Wong
Publication date: 23 January 2004
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026181001368
synchronymodal logictemporal logicmulti-agent systemsepistemic logicbranching timelogic of knowledgeperfect recallbundle semantics
Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Temporal logic (03B44)
Related Items (17)
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 ⋮ A history based logic for dynamic preference updates ⋮ Unnamed Item ⋮ Knowledge and communication: A first-order theory ⋮ Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic ⋮ A sequent calculus for logic of knowledge and past time: completeness and decidability ⋮ Some comments on history based structures ⋮ Finite identification from the viewpoint of epistemic update ⋮ Intensional protocols for dynamic epistemic logic ⋮ Announcement as effort on topological spaces ⋮ Bounded model checking for knowledge and real time ⋮ Knowledge forgetting: properties and applications ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Logic and Learning ⋮ The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language
This page was built for publication: Complete axiomatizations for reasoning about knowledge and branching time
