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

Cites work

scientific article; zbMATH DE number 3131074 (Why is no real title available?)
scientific article; zbMATH DE number 3145226 (Why is no real title available?)
scientific article; zbMATH DE number 4108725 (Why is no real title available?)
scientific article; zbMATH DE number 956466 (Why is no real title available?)
scientific article; zbMATH DE number 149884 (Why is no real title available?)
scientific article; zbMATH DE number 1497485 (Why is no real title available?)
scientific article; zbMATH DE number 6863640 (Why is no real title available?)
scientific article; zbMATH DE number 1361537 (Why is no real title available?)
A cut-free Gentzen formulation of the modal logic S5
A cut-free Gentzen-type system for the modal logic S5
A cut-free labelled sequent calculus for dynamic epistemic logic
A cut-free simple sequent calculus for modal logic S5
A labelled sequent calculus for intuitionistic public announcement logic
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
A semantical analysis of cut-free calculi for modal logics
Algebraic semantics and model completeness for intuitionistic public announcement logic
Bilattice public announcement logic
Dynamic epistemic logic
Dynamic logic of preference upgrade
Logics of public communications
Proof analysis in modal logic
Relevant epistemic logic with public announcements and common knowledge
Revising a labelled sequent calculus for public announcement logic
Sequent-systems and groupoid models. I
Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers

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)