Pages that link to "Item:Q4529490"

The following pages link to On the Products of Linear Modal Logics (Q4529490):

Displaying 25 items.

• The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
• On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
• Subject-oriented spatial logic (Q821569) (← links)
• Products of modal logics. III. Products of modal and temporal logics (Q1863827) (← links)
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
• Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
• Computational complexity of theories of a binary predicate with a small number of variables (Q2696689) (← links)
• Products, or how to create modal logics of high complexity (Q2708309) (← links)
• Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
• Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
• About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability (Q3298275) (← links)
• SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC (Q3577746) (← links)
• Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
• (Q4430402) (← links)
• (Q4443212) (← links)
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (Q4621201) (← links)
• (Q4636027) (← links)
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
• Temporal Logic of Minkowski Spacetime (Q5027245) (← links)
• (Q5465443) (← links)
• On Product Logic with Truth-constants (Q5477455) (← links)
• Products of ‘transitive” modal logics (Q5718700) (← links)
• Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)
• Gödel-Dummett linear temporal logic (Q6665714) (← links)