Segerberg Squares of Modal Logics and Theories of Relation Algebras
From MaRDI portal
Publication:5214740
DOI10.1007/978-3-319-69917-2_12zbMath1429.03086OpenAlexW2790417278MaRDI QIDQ5214740
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
modal logiccompletenessrelation algebrafinite model propertyclassical predicate logicSegerberg squarebisimulation game
Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (1)
Cites Work
- Unnamed Item
- Relation algebras by games
- Finite-level modal logics
- Many-dimensional modal logics: theory and applications
- Products of modal logics. III. Products of modal and temporal logics
- On squares of modal logics with additional connectives
- On representable relation algebras
- Squares of modal logics with additional connectives
- Decision problems for equational theories of relation algebras
- Products of modal logics, part 1
- Products of modal logics. Part 2: relativised quantifiers in classical logic
- Segerberg Squares of Modal Logics and Theories of Relation Algebras
- On the Logic of “To‐morrow”1
- On the calculus of relations
- Two-dimensional modal logic
- Two-dimensional modal logic
This page was built for publication: Segerberg Squares of Modal Logics and Theories of Relation Algebras
