Algebraic polymodal logic: a survey

DOI10.1093/jigpal/8.4.393zbMath1012.03060OpenAlexW1968372691MaRDI QIDQ4511600

Robert Goldblatt

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

zbMATH Keywords

surveymodal logicdualityrelational semanticstemporal logicKripke framesstrong completenesspolymodal propositional logicsvarieties of Boolean algebras with operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (11)

Interpreted systems and Kripke models for multiagent systems from a categorical perspective ⋮ Expansions of dually pseudocomplemented Heyting algebras ⋮ Mathematical modal logic: A view of its evolution ⋮ Duality for double quasioperator algebras via their canonical extensions ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Categoricity spectra for polymodal algebras ⋮ Computable isomorphisms of Boolean algebras with operators ⋮ Reasoning about distributed information with infinitely many agents ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Frame constructions, truth invariance and validity preservation in many-valued modal logic ⋮ Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic

This page was built for publication: Algebraic polymodal logic: a survey