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

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

Katsuhiko Sano, Sizhuo Liu

Publication date: 26 June 2024

zbMATH Keywords

cut eliminationsequent calculusepistemic logicpublic announcement logicanalytic cut

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Proof analysis in modal logic
• Dynamic epistemic logic
• Sequent-systems and groupoid models. I
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Logics of public communications
• A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
• Dynamic logic of preference upgrade
• A cut-free Gentzen-type system for the modal logic S5
• A cut-free Gentzen formulation of the modal logic S5
• A semantical analysis of cut-free calculi for modal logics
• A cut-free labelled sequent calculus for dynamic epistemic logic
• Revising a Labelled Sequent Calculus for Public Announcement Logic
• 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)