# Base-extension Semantics for Modal Logic

arXiv: https://arxiv.org/abs/2401.13597 · HTML: https://mlsanity.com/paper/2401.13597/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 24 Jan 2024.

## Built on by (most cited first, 1 of 1)

- [Towards an Inferentialist Account of Information Through Proof-theoretic Semantics](https://mlsanity.com/paper/2605.05368/) (2026)

## Abstract (arXiv)

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.