Algebraic polymodal logic: a survey

DOI10.1093/JIGPAL/8.4.393MaRDI QIDQ4511600zbMATH OpenOpenAlexFDO

Authors Robert Goldblatt

Publication date 17 June 2003

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/7fe79876d075435f2a3a34ae83510350c59c34e0

zbMATH Keywords

dualityKripke framesmodal logicpolymodal propositional logicsrelational semanticsstrong completenesssurveytemporal logicvarieties of Boolean algebras with operators

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5880291
• Polymodal Lattices and Polymodal Logic
• A survey of abstract algebraic logic
• Polynomial semantics for modal logics
• Modal logic and algebraic specifications
• scientific article; zbMATH DE number 4195937
• Algebraizable logics
• Algebraic semantics for quasi-classical modal logics
• A survey of algebraic structures derived from non-classical logics
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

Cited in

(16)

• Mathematical modal logic: A view of its evolution
• Expansions of dually pseudocomplemented Heyting algebras
• Interpreted systems and Kripke models for multiagent systems from a categorical perspective
• Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
• Reasoning about distributed information with infinitely many agents
• Duality for double quasioperator algebras via their canonical extensions
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• A survey of some recent results on spectrum exchangeability in polyadic inductive logic
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• scientific article; zbMATH DE number 1735914 (Why is no real title available?)
• scientific article; zbMATH DE number 1850738 (Why is no real title available?)
• Categoricity spectra for polymodal algebras
• Polynomial semantics for modal logics
• Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
• Algebraic Logic, Where Does it Stand Today?
• Computable isomorphisms of Boolean algebras with operators

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

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