Axiomatization of modal logic squares with distinguished diagonal

DOI10.1134/S0001434610070229zbMath1248.03035OpenAlexW1975172181MaRDI QIDQ650277

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

zbMATH Keywords

axiomatizabilityproducts of modal logicsgeneralized Sahlquist formulasquare of a Kripke framesquare of a modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (5)

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

This page was built for publication: Axiomatization of modal logic squares with distinguished diagonal