Axiomatization of modal logic squares with distinguished diagonal
From MaRDI portal
Publication:650277
DOI10.1134/S0001434610070229zbMath1248.03035OpenAlexW1975172181MaRDI QIDQ650277
Publication date: 25 November 2011
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0001434610070229
axiomatizabilityproducts of modal logicsgeneralized Sahlquist formulasquare of a Kripke framesquare of a modal logic
Related Items
The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ On the subtle nature of a simple logic of the hide and seek game ⋮ A simple logic of the hide and seek game ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ On squares of modal logics with additional connectives
Cites Work
- Unnamed Item
- Unnamed Item
- Relation algebras by games
- Cylindric algebras. Part II
- Multi-dimensional modal logic
- Many-dimensional modal logics: theory and applications
- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property
- A Modal Logic for Chopping Intervals
- Cylindric modal logic
- Two-dimensional modal logic