Algebraic polymodal logic: a survey
From MaRDI portal
Publication:4511600
DOI10.1093/jigpal/8.4.393zbMath1012.03060MaRDI QIDQ4511600
Publication date: 17 June 2003
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/7fe79876d075435f2a3a34ae83510350c59c34e0
survey; modal logic; duality; relational semantics; temporal logic; Kripke frames; strong completeness; polymodal propositional logics; varieties of Boolean algebras with operators
03B45: Modal logic (including the logic of norms)
03B44: Temporal logic
03G05: Logical aspects of Boolean algebras
06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)
Related Items
Algebraic Logic, Where Does it Stand Today?, Computable isomorphisms of Boolean algebras with operators, Mathematical modal logic: A view of its evolution, Interpreted systems and Kripke models for multiagent systems from a categorical perspective, Duality for double quasioperator algebras via their canonical extensions, Frame constructions, truth invariance and validity preservation in many-valued modal logic, Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic