Pages that link to "Item:Q4529490"
From MaRDI portal
The following pages link to On the Products of Linear Modal Logics (Q4529490):
Displayed 9 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)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← 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)
- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)