On axiomatising products of Kripke frames. II

zbMATH Open1221.03021MaRDI QIDQ3085168FDOQ3085168

Authors: Agi Kurucz 

Publication date: 30 March 2011

Recommendations

• On axiomatising products of Kripke frames
• Products of modal logics, part 1
• Non-finitely axiomatisable two-dimensional modal logics
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• On the Products of Linear Modal Logics

zbMATH Keywords

axiomatizationmany-dimensional modal logic

Mathematics Subject Classification ID

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

Cited In (18)

• On modal logics betweenK × K × KandS5 × S5 × S5
• Title not available (Why is that?)
• Complexity of products of modal logics
• On the Products of Linear Modal Logics
• Modal definability of first-order formulas with free variables and query answering
• Matching topological and frame products of modal logics
• Truth-preserving operations on sums of Kripke frames
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• Axiomatization of modal logic squares with distinguished diagonal
• On axiomatising products of Kripke frames
• On the complexity of modal axiomatisations over many-dimensional structures
• Title not available (Why is that?)
• Finite frames for \(\mathrm{K4.3} \times \mathrm{S5}\) are decidable
• On modal logics of Hamming spaces
• Modal logics that need very large frames
• A dichotomy for some elementarily generated modal logics
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• Non-finitely axiomatisable two-dimensional modal logics

This page was built for publication: On axiomatising products of Kripke frames. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3085168)