A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic
From MaRDI portal
Publication:5283435
DOI10.1007/978-3-319-27683-0_20zbMath1477.03041OpenAlexW2295463046MaRDI QIDQ5283435
Katsuhiko Sano, Shoshin Nomura, Hiroakira Ono
Publication date: 21 July 2017
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-27683-0_20
dynamic epistemic logiclabelled sequent calculusadmissibility of cutaction modelsvalidity of sequents
Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Dynamic epistemic logic
- Reasoning about information change
- Generalized DEL-Sequents
- Multi-type display calculus for dynamic epistemic logic
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Proof Analysis
- A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic
- Dynamic logic for belief revision
- Logics without the contraction rule
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
- Aximo: Automated Axiomatic Reasoning for Information Update
This page was built for publication: A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic