On the Products of Linear Modal Logics
From MaRDI portal
Publication:4529490
DOI10.1093/logcom/11.6.909zbMath1002.03017OpenAlexW2040575807MaRDI QIDQ4529490
M. A. Reynolds, Michael Zakharyashchev
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
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items
Subject-oriented spatial logic ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ Time and Gödel: fuzzy temporal reasoning in PSPACE ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ Computational complexity of theories of a binary predicate with a small number of variables ⋮ About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ Products of ‘transitive” modal logics ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE ⋮ Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property ⋮ Temporal Logic of Minkowski Spacetime