Pages that link to "Item:Q1130239"
From MaRDI portal
The following pages link to A decidable temporal logic of parallelism (Q1130239):
Displayed 7 items.
- 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)
- 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)