Pages that link to "Item:Q357126"
From MaRDI portal
The following pages link to Logics in computer science. A study on extensions of temporal and strategic logics (Q357126):
Displaying 7 items.
- Specification and Development of Interactive Systems (Q2725941) (← links)
- Temporal and dynamic logic (Q2851821) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- Results on alternating-time temporal logics with linear past (Q5079770) (← links)
- Graded Alternating-Time Temporal Logic (Q5894193) (← links)