Pages that link to "Item:Q1130239"
From MaRDI portal
The following pages link to A decidable temporal logic of parallelism (Q1130239):
Displayed 11 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)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- Generalization of some properties of relations in the context of functional temporal×modal logic (Q5459725) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)
- Modal logics of succession for 2-dimensional integral spacetime (Q5935784) (← links)