Segerberg Squares of Modal Logics and Theories of Relation Algebras

DOI10.1007/978-3-319-69917-2_12zbMATH Open1429.03086OpenAlexW2790417278MaRDI QIDQ5214740FDOQ5214740

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

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

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)

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• Title not available (Why is that?)

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)