scientific article; zbMATH DE number 7668120

MaRDI QIDQ5884972zbMATH OpenFDO

Authors Jan Rooduijn

Publication date 24 March 2023

zbMATH Keywords

\textsf{S5} multi-modal logicanalytic proof systemscommon knowledgecyclic proofsproof search games

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 2068679
• Common knowledge logic in a higher order proof assistant
• scientific article; zbMATH DE number 5263148
• scientific article; zbMATH DE number 7117799
• A henkin-style completeness proof for the modal logic S5
• Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey
• Normal form theorems for the modal logic system S5 and their application to knowledge-base theory
• A systematic proof theory for several modal logics
• An analytic calculus for the intuitionistic logic of proofs
• Label-free proof systems for intuitionistic modal logic IS5

Cited in

(1)

• Gentzen-type sequent calculus for modal logic S5

This page was built for publication:

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