Segerberg Squares of Modal Logics and Theories of Relation Algebras

DOI10.1007/978-3-319-69917-2_12MaRDI QIDQ5214740zbMATH OpenOpenAlexFDO

Authors Valentin Shehtman

Publication date 5 February 2020

Published in Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-69917-2_12

zbMATH Keywords

completenessmodal logicrelation algebrafinite model propertyclassical predicate logicSegerberg squarebisimulation game

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 1086630
• Algebraic semantics for quasi-classical modal logics
• Squares of modal logics with additional connectives
• On squares of modal logics with additional connectives
• scientific article; zbMATH DE number 1746566
• On modal logics of model-theoretic relations
• scientific article; zbMATH DE number 6863637
• Hyperboolean Algebras and Hyperboolean Modal Logic
• Algebraic semantics for a modal logic close to S1
• scientific article; zbMATH DE number 5046779

Cites work

• Decision problems for equational theories of relation algebras
• Finite-level modal logics
• Handbook of modal logic
• Many-dimensional modal logics: theory and applications
• On representable relation algebras
• On squares of modal logics with additional connectives
• On the Logic of “To‐morrow”¹
• On the calculus of relations
• Products of modal logics, part 1
• Products of modal logics. III. Products of modal and temporal logics
• Products of modal logics. Part 2: relativised quantifiers in classical logic
• Relation algebras by games
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• Squares of modal logics with additional connectives
• Two-dimensional modal logic
• Two-dimensional modal logic

Cited in

(6)

• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• scientific article; zbMATH DE number 1790851 (Why is no real title available?)
• scientific article; zbMATH DE number 3845545 (Why is no real title available?)
• Squares of modal logics with additional connectives
• On squares of modal logics with additional connectives
• scientific article; zbMATH DE number 2209840 (Why is no real title available?)

This page was built for publication: Segerberg Squares of Modal Logics and Theories of Relation Algebras

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