Segerberg Squares of Modal Logics and Theories of Relation Algebras
From MaRDI portal
Publication:5214740
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”1
- 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)