Products of ‘transitive” modal logics
From MaRDI portal
Publication:5718700
DOI10.2178/jsl/1122038925zbMath1103.03020OpenAlexW2124576280MaRDI QIDQ5718700
Frank Wolter, David Gabelaia, Agi Kurucz, Michael Zakharyashchev
Publication date: 16 January 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1122038925
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items (9)
The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ Multimodal logics of products of topologies ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ The Complexity of Decomposing Modal and First-Order Theories ⋮ Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamic topological logic
- Propositional dynamic logic of nonregular programs
- A multiprocess network logic with temporal and spatial modalities
- A decidable temporal logic of parallelism
- Products of modal logics. III. Products of modal and temporal logics
- An elementary construction for a non-elementary procedure
- Reduction of second‐order logic to modal logic
- All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
- Products of modal logics, part 1
- On the Products of Linear Modal Logics
- A multi-dimensional terminological knowledge representation language
- Undecidability of compass logic
- Two-dimensional modal logic
This page was built for publication: Products of ‘transitive” modal logics
