On the Products of Linear Modal Logics

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

• 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

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)

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)