Terminating Tableaux for Dynamic Epistemic Logics
From MaRDI portal
Publication:3185765
DOI10.1016/j.entcs.2010.04.011zbMath1345.03029MaRDI QIDQ3185765
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
hybrid logic; dynamic epistemic logic; decision procedures; public announcement logic; reduction axioms; terminating tableau systems
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
Related Items
A Hybrid Public Announcement Logic with Distributed Knowledge, A logic for diffusion in social networks, 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
Cites Work
- Unnamed Item
- Logics of communication and change
- Dynamic epistemic logic
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Tableau-based Decision Procedures for Hybrid Logic
- Expressivity and completeness for public update logics via reduction axioms
- Termination for Hybrid Tableaus