A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic

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

zbMATH Keywords

dynamic epistemic logiclabelled sequent calculusadmissibility of cutaction modelsvalidity of sequents

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)

Uses Software

• Pesca
• Aximo
• DEMO

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