Algebraic polymodal logic: a survey
From MaRDI portal
Publication:4511600
DOI10.1093/jigpal/8.4.393zbMath1012.03060OpenAlexW1968372691MaRDI 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
surveymodal logicdualityrelational semanticstemporal logicKripke framesstrong completenesspolymodal propositional logicsvarieties of Boolean algebras with operators
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
