Axiomatization of modal logic squares with distinguished diagonal
From MaRDI portal
Publication:650277
DOI10.1134/S0001434610070229zbMATH Open1248.03035OpenAlexW1975172181MaRDI QIDQ650277FDOQ650277
Authors: S. P. Kikot' 
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
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
products of modal logicsaxiomatizabilitygeneralized Sahlquist formulasquare of a Kripke framesquare of a modal logic
Cites Work
- Modal logic
- Cylindric algebras. Part II
- Many-dimensional modal logics: theory and applications
- A Modal Logic for Chopping Intervals
- Products of modal logics with diagonal constant lacking the finite model property
- Two-dimensional modal logic
- Relation algebras by games
- Multi-dimensional modal logic
- On axiomatising products of Kripke frames. II
- Cylindric modal logic
Cited In (9)
- Modal definability of first-order formulas with free variables and query answering
- Squares of modal logics with additional connectives
- 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
- Minimal Axiomatization in Modal Logic
- Title not available (Why is that?)
- Logical squares for classical logic sentences
- A simple logic of the hide and seek game
- On squares of modal logics with additional connectives
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)
