Axiomatization of modal logic squares with distinguished diagonal
From MaRDI portal
Publication:650277
Recommendations
- Squares of modal logics with additional connectives
- On squares of modal logics with additional connectives
- On non-finite axiomatization of \(n\)-modal logics between \(\mathbf{K}^n\) and \(\mathbf{S}5^n\) for finite \(n \geq 3\)
- Non-finitely axiomatisable two-dimensional modal logics
- On axiomatising products of Kripke frames
Cites work
- A Modal Logic for Chopping Intervals
- Cylindric algebras. Part II
- Cylindric modal logic
- Many-dimensional modal logics: theory and applications
- Modal logic
- Multi-dimensional modal logic
- On axiomatising products of Kripke frames. II
- Products of modal logics with diagonal constant lacking the finite model property
- Relation algebras by games
- Two-dimensional modal logic
Cited in
(10)- On non-finite axiomatization of \(n\)-modal logics between \(\mathbf{K}^n\) and \(\mathbf{S}5^n\) for finite \(n \geq 3\)
- Minimal Axiomatization in Modal Logic
- A simple logic of the hide and seek game
- Logical squares for classical logic sentences
- Modal definability of first-order formulas with free variables and query answering
- Squares of modal logics with additional connectives
- On squares of modal logics with additional connectives
- The decision problem of modal product logics with a diagonal, and faulty counter machines
- scientific article; zbMATH DE number 841118 (Why is no real title available?)
- On the subtle nature of a simple logic of the hide and seek game
This page was built for publication: Axiomatization of modal logic squares with distinguished diagonal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q650277)
