An algebraic generalization of Kripke structures

DOI10.1017/S0305004108001667MaRDI QIDQ3542104zbMATH OpenOpenAlexFDO

Publication date 28 November 2008

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0704.1886

algebraic semantics completeness Kripke semantics modal logic quantale-based semantics

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other algebras related to logic (03G25) Quantales (06F07)

Abstract: The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantales. This algebraic semantics subsumes the traditional algebraic semantics based on lattices with unary operators, and it suggests natural interpretations of modal logic, of possible interest in the applications, in structures that arise in geometry and analysis, such as foliated manifolds and operator algebras, via topological groupoids and inverse semigroups. We study completeness properties of the quantale based semantics for the systems K, T, K4, S4, and S5, in particular obtaining an axiomatization for S5 which does not use negation or the modal necessity operator. As additional examples we describe intuitionistic propositional modal logic, the logic of programs PDL, and the ramified temporal logic CTL.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: An algebraic generalization of Kripke structures

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