Expressivity and completeness for public update logics via reduction axioms

DOI10.3166/jancl.17.231-253zbMath1185.03014MaRDI QIDQ3647272

Barteld P. Kooi

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.17.231-253

zbMATH Keywords

dynamic epistemic logic; updates; reduction axioms; speech acts

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

03B70: Logic in computer science

Related Items

Public announcements, public assignments and the complexity of their logic, A general framework for dynamic epistemic logic: towards canonical correspondences, Dynamic epistemic logics: promises, problems, shortcomings, and perspectives, A Hybrid Public Announcement Logic with Distributed Knowledge, Global and Local Graph Modifiers, On Revocable and Irrevocable Belief Revision, Probabilistic Logic over Paths, Modal Fixed-Point Logic and Changing Models, DEL-sequents for progression, DEL-sequents for progression, To be announced, True lies, Announcements to attentive agents, Refinement modal logic, Dynamics of lying, Paraconsistent dynamics, Relativized common knowledge for dynamic epistemic logic, On the dynamics of institutional agreements, Revocable belief revision, How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation, Arrow update synthesis, Logics of Rational Interaction, THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC, Schematic Validity in Dynamic Epistemic Logic: Decidability, Terminating Tableaux for Dynamic Epistemic Logics, Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic, Dynamic logic for belief revision

Cites Work

• The secret of my success
• Logics of communication and change
• An elementary proof of the completeness of PDL
• Reasoning about information change
• Propositional belief base update and minimal change
• Logics for epistemic programs
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Term Rewriting and All That
• Changing Modalities