A cut-free labelled sequent calculus for dynamic epistemic logic

DOI10.1007/978-3-319-27683-0_20MaRDI QIDQ5283435zbMATH OpenOpenAlexFDO

Authors Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano

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)

Recommendations

• A cut-free labelled sequent calculus for dynamic epistemic logic
• Dynamic epistemic logic in update logic
• scientific article; zbMATH DE number 1537935
• Dynamic epistemic logics
• A proof-theoretic semantic analysis of dynamic epistemic logic

Cites work

• scientific article; zbMATH DE number 5734950 (Why is no real title available?)
• A labelled sequent calculus for intuitionistic public announcement logic
• Aximo: automated axiomatic reasoning for information update
• Dynamic epistemic logic
• Dynamic logic for belief revision
• Generalized DEL-Sequents
• Logics without the contraction rule
• Multi-type display calculus for dynamic epistemic logic
• POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
• Proof Analysis
• Reasoning about information change
• Structural proof theory. With an appendix by Aarne Ranta
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(8)

• A cut-free labelled sequent calculus for dynamic epistemic logic
• A sequent calculus for propositional dynamic logic for agents with interactions
• Multi-type display calculus for dynamic epistemic logic
• A cut-free sequent calculus for defeasible erotetic inferences
• A proof-theoretic semantic analysis of dynamic epistemic logic
• A complete proof system for a dynamic epistemic logic based upon finite -calculus processes
• A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
• Automated Reasoning with Analytic Tableaux and Related Methods

Describes a project that uses

Uses Software

• DEMO
• Aximo
• Pesca

This page was built for publication: A cut-free labelled sequent calculus for dynamic epistemic logic

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