On axiomatising products of Kripke frames. II
From MaRDI portal
Publication:3085168
Recommendations
Cited in
(18)- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- On modal logics of Hamming spaces
- On the complexity of modal axiomatisations over many-dimensional structures
- Non-finitely axiomatisable two-dimensional modal logics
- On the Products of Linear Modal Logics
- Axiomatization of modal logic squares with distinguished diagonal
- Modal logics that need very large frames
- On axiomatising products of Kripke frames
- Finite frames for \(\mathrm{K4.3} \times \mathrm{S5}\) are decidable
- On modal logics betweenK × K × KandS5 × S5 × S5
- Modal definability of first-order formulas with free variables and query answering
- Truth-preserving operations on sums of Kripke frames
- A dichotomy for some elementarily generated modal logics
- scientific article; zbMATH DE number 1735879 (Why is no real title available?)
- scientific article; zbMATH DE number 1989659 (Why is no real title available?)
- Matching topological and frame products of modal logics
- On the lattice of extensions of the modal logics \(KAlt_ n\)
- Complexity of products of 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)
