On the Products of Linear Modal Logics

DOI10.1093/LOGCOM/11.6.909zbMATH1002.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

zbMATH Keywords

decidabilitymodal logicCartesian productKripke frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Recommendations

• Products of modal logics, part 1
• Products of ‘transitive” modal logics
• Non-finitely axiomatisable two-dimensional modal logics
• On axiomatising products of Kripke frames. II
• scientific article; zbMATH DE number 2024635

Cited in

(29)

• Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
• scientific article; zbMATH DE number 1989655 (Why is no real title available?)
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC
• On axiomatising products of Kripke frames. II
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
• Products of modal logics. III. Products of modal and temporal logics
• scientific article; zbMATH DE number 2196593 (Why is no real title available?)
• Products of modal logics with diagonal constant lacking the finite model property
• Axiomatizability of propositionally quantified modal logics on relational frames
• scientific article; zbMATH DE number 2024635 (Why is no real title available?)
• Products of ‘transitive” modal logics
• Non-finitely axiomatisable two-dimensional modal logics
• Subject-oriented spatial logic
• Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
• scientific article; zbMATH DE number 6863639 (Why is no real title available?)
• Products, or how to create modal logics of high complexity
• Time and Gödel: fuzzy temporal reasoning in PSPACE
• On axiomatising products of Kripke frames
• Computational complexity of theories of a binary predicate with a small number of variables
• On the axiomatizability of some first-order spatio-temporal theories
• Temporal logic of Minkowski spacetime
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
• Non-primitive recursive decidability of products of modal logics with expanding domains
• On Product Logic with Truth-constants
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
• The decision problem of modal product logics with a diagonal, and faulty counter machines
• Gödel-Dummett linear temporal logic

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)