Non-finitely axiomatisable two-dimensional modal logics
From MaRDI portal
Publication:2915901
Recommendations
Cites work
- scientific article; zbMATH DE number 1989648 (Why is no real title available?)
- scientific article; zbMATH DE number 757645 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 859790 (Why is no real title available?)
- A multi-dimensional terminological knowledge representation language
- A multiprocess network logic with temporal and spatial modalities
- A survey of temporal extensions of description logics
- Axiomatizing the monodic fragment of first-order temporal logic
- Canonical varieties with no canonical axiomatisation
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Handbook of modal logic
- Many-dimensional modal logics: theory and applications
- Modal logic
- On axiomatising products of Kripke frames
- On the Products of Linear Modal Logics
- On the complexity of modal axiomatisations over many-dimensional structures
- Products of modal logics, part 1
- Products of ‘transitive” modal logics
- Relation algebras by games
- Strongly representable atom structures of cylindric algebras
- Temporalizing description logics
- Two-dimensional modal logic
Cited in
(16)- The modal logic of affine planes is not finitely axiomatisable
- On axiomatising products of Kripke frames. II
- scientific article; zbMATH DE number 1215467 (Why is no real title available?)
- scientific article; zbMATH DE number 4174894 (Why is no real title available?)
- On the Products of Linear Modal Logics
- scientific article; zbMATH DE number 4121966 (Why is no real title available?)
- scientific article; zbMATH DE number 1396691 (Why is no real title available?)
- On non-finite axiomatization of \(n\)-modal logics between \(\mathbf{K}^n\) and \(\mathbf{S}5^n\) for finite \(n \geq 3\)
- Axiomatization of modal logic squares with distinguished diagonal
- On axiomatising products of Kripke frames
- scientific article; zbMATH DE number 5864581 (Why is no real title available?)
- On the complexity of modal axiomatisations over many-dimensional structures
- Finite frames for \(\mathrm{K4.3} \times \mathrm{S5}\) are decidable
- Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- On the nonaxiomatizability of some logics by finitely many schemas
This page was built for publication: Non-finitely axiomatisable two-dimensional modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915901)
