Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
type: Item
instance of: scholarly article
title: Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
DOI: 10.1007/978-3-031-45558-2_15
author: Sizhuo Liu
author: Katsuhiko Sano
publication date: 2024-06-26T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7871922
zbMATH Keywords: public announcement logic
zbMATH Keywords: epistemic logic
zbMATH Keywords: cut elimination
zbMATH Keywords: sequent calculus
zbMATH Keywords: analytic cut
MaRDI profile type: Publication
cites work: Q3837723
cites work: Q4636028
cites work: Dynamic logic of preference upgrade
cites work: A cut-free Gentzen formulation of the modal logic S5
cites work: Dynamic epistemic logic
cites work: Sequent-systems and groupoid models. I
cites work: Three faces of recursion axioms: the case of constructive dynamic logic of relation changers
cites work: Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
cites work: Algebraic semantics and model completeness for intuitionistic public announcement logic
cites work: Proof analysis in modal logic
cites work: A cut-free labelled sequent calculus for dynamic epistemic logic
cites work: A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic
cites work: Revising a Labelled Sequent Calculus for Public Announcement Logic
cites work: Q3247119
cites work: Q3262211
cites work: Q4699355
cites work: Logics of public communications
cites work: A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
cites work: Relevant epistemic logic with public announcements and common knowledge
cites work: Q4636308
cites work: A cut-free Gentzen-type system for the modal logic S5
cites work: Q3832540
cites work: Q4032549
cites work: A semantical analysis of cut-free calculi for modal logics
cites work: Q4499084
cites work: A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
description: scientific article; zbMATH DE number 7871922