Abstract:Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a general approach to the semantics of non-classical modal logics via algebraic representation theorems. We begin with complete lattices $L$ equipped with an antitone operation $\neg$ sending $1$ to $0$, a completely multiplicative operation $\Box$, and a completely additive operation $\Diamond$. Such lattice expansions can be represented by means of a set $X$ together with binary relations $\vartriangleleft$, $R$, and $Q$, satisfying some first-order conditions, used to represent $(L,\neg)$, $\Box$, and $\Diamond$, respectively. Indeed, any lattice $L$ equipped with such a $\neg$, a multiplicative $\Box$, and an additive $\Diamond$ embeds into the lattice of propositions of a frame $(X,\vartriangleleft,R,Q)$. Building on our recent study of "fundamental logic", we focus on the case where $\neg$ is dually self-adjoint ($a\leq \neg b$ implies $b\leq\neg a$) and $\Diamond \neg a\leq\neg\Box a$. In this case, the representations can be constrained so that $R=Q$, i.e., we need only add a single relation to $(X,\vartriangleleft)$ to represent both $\Box$ and $\Diamond$. Using these results, we prove that a system of fundamental modal logic is sound and complete with respect to an elementary class of bi-relational structures $(X,\vartriangleleft, R)$.

Positive provability logic for uniform reflection principles

Reflection calculus and conservativity spectra

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Constructive Provability Logic

Reducing $ω$-model reflection to iterated syntactic reflection

Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics

An $ω$-rule for the logic of provability and its models

Modal logic, fundamentally

Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic

Mechanised uniform interpolation for modal logics K, GL, and iSL

On Provability Logics with Linearly Ordered Modalities

Two series of formalized interpretability principles for weak systems of arithmetic

The positivication of coalgebraic logics

Provability logic and the completeness principle

Models of transfinite provability logic

Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation

On provability logics of Niebergall arithmetic

The polytopologies of transfinite provability logic

Model-checking positive equality free logic on a fixed structure (direttissima)

Base-extension Semantics for Modal Logic