Base-extension semantics for modal logic

Logic Journal of the IGPL (forthcoming)
  Copy   BIBTEX

Abstract

In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems |$K$|⁠, |$KT$|⁠, |$K4$| and |$S4$|⁠, with |$\square $| as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between |$\square $| and a natural presentation of |$\lozenge $|⁠. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Base-extension Semantics for Modal Logic.Eckhardt Timo & Pym David - forthcoming - Logic Journal of the IGPL.
A spatial modal logic with a location interpretation.Norihiro Kamide - 2005 - Mathematical Logic Quarterly 51 (4):331.
Fractional-Valued Modal Logic.Mario Piazza, Gabriele Pulcini & Matteo Tesi - 2023 - Review of Symbolic Logic 16 (4):1033-1052.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17:135-166.
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.
Fractional-Valued Modal Logic and Soft Bilateralism.Mario Piazza, Gabriele Pulcini & Matteo Tesi - 2023 - Bulletin of the Section of Logic 52 (3):275-299.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Modal logic S4 as a paraconsistent logic with a topological semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Caleiro Carlos, Dionisio Francisco, Gouveia Paula, Mateus Paulo & Rasga João (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. College Publications. pp. 171-196.
Disjunctive logic programs, answer sets, and the cut rule.Éric Martin - 2022 - Archive for Mathematical Logic 61 (7):903-937.
An incomplete relevant modal logic.Lou Goble - 2000 - Journal of Philosophical Logic 29 (1):103-119.

Analytics

Added to PP
2024-03-03

Downloads
16 (#909,949)

6 months
16 (#159,435)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

David Pym
University College London
Timo Eckhardt
University College London

Citations of this work

No citations found.

Add more citations

References found in this work

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Articulating Reasons: An Introduction to Inferentialism.Robert Brandom - 2002 - Philosophical Quarterly 52 (206):123-125.

View all 16 references / Add more references