Terminating Tableaux for Dynamic Epistemic Logics
From MaRDI portal
Publication:3185765
DOI10.1016/j.entcs.2010.04.011zbMath1345.03029OpenAlexW2074124492MaRDI 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 logicdynamic epistemic logicdecision procedurespublic announcement logicreduction axiomsterminating tableau systems
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (6)
Generalized DEL-Sequents ⋮ A four-valued dynamic epistemic logic ⋮ A Hybrid Public Announcement Logic with Distributed Knowledge ⋮ A logic for diffusion in social networks ⋮ ExpTime tableaux with global caching for hybrid PDL ⋮ Tableau Method and NEXPTIME-Completeness of 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
This page was built for publication: Terminating Tableaux for Dynamic Epistemic Logics