Terminating tableaux for dynamic epistemic logics

DOI10.1016/J.ENTCS.2010.04.011MaRDI QIDQ3185765zbMATH OpenOpenAlexFDO

Authors Jens Ulrik Hansen

Publication date 5 August 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.04.011

zbMATH Keywords

decision proceduresdynamic epistemic logichybrid logicpublic announcement logicreduction axiomsterminating tableau systems

Mathematics Subject Classification ID

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

Recommendations

• Tableaux for Public Announcement Logic
• A Tableau Method for Public Announcement Logics
• Tableau method and NEXPTIME-completeness of DEL-sequents
• scientific article; zbMATH DE number 1537935
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives

Cites work

• Dynamic epistemic logic
• Expressivity and completeness for public update logics via reduction axioms
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• Logics of communication and change
• Tableau-based Decision Procedures for Hybrid Logic
• Termination for Hybrid Tableaus
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(10)

• Merging frameworks for interaction
• A logic for diffusion in social networks
• Dynamic term-modal logics for first-order epistemic planning
• A four-valued dynamic epistemic logic
• ExpTime tableaux with global caching for hybrid PDL
• Tableau method and NEXPTIME-completeness of DEL-sequents
• Generalized DEL-Sequents
• Tableaux for single-agent epistemic PDL with perfect recall and no miracles
• A Hybrid Public Announcement Logic with Distributed Knowledge
• Terminating Tableaux for Hybrid Logic with Eventualities

This page was built for publication: Terminating tableaux for dynamic epistemic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3185765)