Base-extension semantics for S5 modal logic

DOI10.1093/JIGPAL/JZAE131MaRDI QIDQ6909076zbMATH OpenFDO

Authors Timo Eckhardt, David Pym

Publication date 30 October 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAE131

zbMATH Keywords

(multi-agent) S5 modal logicbase-extension semanticsepistemic logicmodal logicproof-theoretic semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Cites work

• Base-extension semantics for intuitionistic sentential logic
• Base-extension semantics for modal logic
• Classical logic without bivalence
• Games in dynamic-epistemic logic
• scientific article; zbMATH DE number 3078991 (Why is no real title available?)
• Modal logic
• On an inferential semantics for classical logic
• On axiomatizations of public announcement logic

Cited in

(2)

• Base-extension semantics for intuitionistic modal logics (extended abstract)
• Proof-theoretic semantics for first-order logic

This page was built for publication: Base-extension semantics for S5 modal logic

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