On squares of modal logics with additional connectives
From MaRDI portal
Publication:2510775
DOI10.1134/S0081543811060204zbMath1294.03018MaRDI QIDQ2510775
Publication date: 4 August 2014
Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)
Related Items
The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Segerberg Squares of Modal Logics and Theories of Relation Algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Axiomatization of modal logic squares with distinguished diagonal
- A conjectured axiomatization of two-dimensional Reichenbachian tense logic
- Multi-dimensional modal logic
- Many-dimensional modal logics: theory and applications
- Products of modal logics. III. Products of modal and temporal logics
- 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