Pages that link to "Item:Q1130239"
From MaRDI portal
The following pages link to A decidable temporal logic of parallelism (Q1130239):
Displayed 6 items.
- A decidable temporal logic of parallelism (Q1130239) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← 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)