Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}

DOI10.1007/978-3-031-45558-2_15MaRDI QIDQ6562545FDOQ6562545

Authors: Sizhuo Liu, Katsuhiko Sano 

Publication date: 26 June 2024

zbMATH Keywords

epistemic logiccut eliminationsequent calculuspublic announcement logicanalytic cut

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Dynamic logic of preference upgrade
• Dynamic epistemic logic
• Title not available (Why is that?)
• Proof analysis in modal logic
• Logics of public communications
• A cut-free simple sequent calculus for modal logic S5
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequent-systems and groupoid models. I
• Title not available (Why is that?)
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• A labelled sequent calculus for intuitionistic public announcement logic
• Title not available (Why is that?)
• Revising a labelled sequent calculus for public announcement logic
• A cut-free Gentzen-type system for the modal logic S5
• Title not available (Why is that?)
• A cut-free Gentzen formulation of the modal logic S5
• A cut-free labelled sequent calculus for dynamic epistemic logic
• Bilattice public announcement logic
• A semantical analysis of cut-free calculi for modal logics
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Relevant epistemic logic with public announcements and common knowledge
• Three faces of recursion axioms: the case of constructive dynamic logic of relation changers
• A reduction-based cut-free Gentzen calculus for dynamic epistemic logic

This page was built for publication: Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}

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