Axiomatization of modal logic squares with distinguished diagonal
From MaRDI portal
Publication:650277
DOI10.1134/S0001434610070229zbMath1248.03035MaRDI QIDQ650277
Publication date: 25 November 2011
Published in: Mathematical Notes (Search for Journal in Brave)
axiomatizability; products of modal logics; generalized Sahlquist formula; square of a Kripke frame; square of a modal logic
03B45: Modal logic (including the logic of norms)
Related Items
The decision problem of modal product logics with a diagonal, and faulty counter machines, Modal definability of first-order formulas with free variables and query answering, On squares of modal logics with additional connectives
Cites Work
- 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
- Unnamed Item
- Unnamed Item