Expressivity and completeness for public update logics via reduction axioms

DOI10.3166/jancl.17.231-253zbMath1185.03014OpenAlexW2170447572MaRDI 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 logicupdatesreduction axiomsspeech acts

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Related Items (31)

Announcements to attentive agents ⋮ Logics of Rational Interaction ⋮ How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation ⋮ Terminating Tableaux for Dynamic Epistemic Logics ⋮ THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC ⋮ 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 ⋮ To be announced ⋮ A separation logic with histories of epistemic actions as resources ⋮ An Abstract Look at Awareness Models and Their Dynamics ⋮ Relativized common knowledge for dynamic epistemic logic ⋮ Dynamic epistemic logics for abstract argumentation ⋮ Comparing Social Network Dynamic Operators ⋮ Arrow update synthesis ⋮ Refinement modal logic ⋮ Dynamics of lying ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Paraconsistent dynamics ⋮ A Hybrid Public Announcement Logic with Distributed Knowledge ⋮ Probabilistic Logic over Paths ⋮ On the dynamics of institutional agreements ⋮ Revocable belief revision ⋮ Modal Fixed-Point Logic and Changing Models ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ True lies ⋮ Schematic Validity in Dynamic Epistemic Logic: Decidability ⋮ Global and Local Graph Modifiers ⋮ On Revocable and Irrevocable Belief Revision ⋮ 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

This page was built for publication: Expressivity and completeness for public update logics via reduction axioms