Non-finitely axiomatisable two-dimensional modal logics

DOI10.2178/JSL/1344862170zbMATH Open1259.03032OpenAlexW2026045948MaRDI QIDQ2915901FDOQ2915901

Authors: Sérgio Marcelino, Agi Kurucz 

Publication date: 19 September 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1344862170

Recommendations

• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• On axiomatising products of Kripke frames
• On the Products of Linear Modal Logics
• On axiomatising products of Kripke frames. II
• Products of modal logics with diagonal constant lacking the finite model property

zbMATH Keywords

modal logictwo-dimensional logicsinfinite axiomatizationsproduct logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

Cites Work

• Modal logic
• Many-dimensional modal logics: theory and applications
• Title not available (Why is that?)
• Handbook of modal logic
• Products of modal logics, part 1
• On the Products of Linear Modal Logics
• Title not available (Why is that?)
• Products of ‘transitive” modal logics
• Two-dimensional modal logic
• Relation algebras by games
• A multi-dimensional terminological knowledge representation language
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• On the complexity of modal axiomatisations over many-dimensional structures
• Strongly representable atom structures of cylindric algebras
• Canonical varieties with no canonical axiomatisation
• A survey of temporal extensions of description logics
• A multiprocess network logic with temporal and spatial modalities
• Axiomatizing the monodic fragment of first-order temporal logic
• Title not available (Why is that?)
• Temporalizing description logics
• Title not available (Why is that?)
• On axiomatising products of Kripke frames

Cited In (16)

• The modal logic of affine planes is not finitely axiomatisable
• On axiomatising products of Kripke frames. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Products of Linear Modal Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)