On the Products of Linear Modal Logics
From MaRDI portal
Publication:4529490
DOI10.1093/LOGCOM/11.6.909zbMATH Open1002.03017OpenAlexW2040575807MaRDI QIDQ4529490FDOQ4529490
Authors: Mark Alexander Reynolds, Michael Zakharyaschev
Publication date: 7 January 2003
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/11.6.909
Recommendations
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Cited In (29)
- Subject-oriented spatial logic
- Non-primitive recursive decidability of products of modal logics with expanding domains
- On axiomatising products of Kripke frames. II
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
- On Product Logic with Truth-constants
- Title not available (Why is that?)
- Products, or how to create modal logics of high complexity
- Title not available (Why is that?)
- The decision problem of modal product logics with a diagonal, and faulty counter machines
- Title not available (Why is that?)
- Products of ‘transitive” modal logics
- Title not available (Why is that?)
- On axiomatising products of Kripke frames
- Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
- Temporal logic of Minkowski spacetime
- Computational complexity of theories of a binary predicate with a small number of variables
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
- Products of modal logics with diagonal constant lacking the finite model property
- Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
- Products of modal logics. III. Products of modal and temporal logics
- Time and Gödel: fuzzy temporal reasoning in PSPACE
- SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC
- Gödel-Dummett linear temporal logic
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- On the axiomatizability of some first-order spatio-temporal theories
- About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
- Axiomatizability of propositionally quantified modal logics on relational frames
- Non-finitely axiomatisable two-dimensional modal logics
This page was built for publication: On the Products of Linear Modal Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4529490)