The following pages link to (Q4739288):
Displaying 5 items.
- Refinement modal logic (Q476194) (← links)
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- Complete axiomatization and decidability of alternating-time temporal logic (Q2368988) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency (Q3431962) (← links)