Base-extension semantics for modal logic

DOI10.1093/JIGPAL/JZAE004MaRDI QIDQ6909110zbMATH 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/JZAE004

zbMATH Keywords

base-extension semanticsmodal logicproof-theoretic semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites work

• A completeness theorem in modal logic
• A correct polynomial translation of S4 into intuitionistic logic
• Advances in proof-theoretic semantics
• Base-extension semantics for intuitionistic sentential logic
• Classical logic without bivalence
• Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
• Following all the rules: intuitionistic completeness for generalized proof-theoretic validity
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Meaning approached via proofs
• Modal logic
• On an inferential semantics for classical logic
• On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
• On the logic of theory change: Partial meet contraction and revision functions
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Untersuchungen über das logische Schließen. I.
• Validity concepts in proof-theoretic semantics

Cited in

(3)

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

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

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