Pages that link to "Item:Q2848071"
From MaRDI portal
The following pages link to On epistemic temporal strategic logic (Q2848071):
Displaying 14 items.
- Strategy logic (Q979080) (← links)
- Knowledge condition games (Q1006447) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Everything else being equal: a modal logic for ceteris paribus preferences (Q1029829) (← links)
- Natural strategic ability (Q2289013) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- Knowledge as strategic ability (Q2844048) (← links)
- A Temporal Logic for the Interaction of Strategies (Q3090849) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency (Q3431962) (← links)
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
- A Logic for Reasoning about Rational Agents (Q3602940) (← links)
- Tomorrow’s Sea-Battle and the Beginning of Temporal Logic (Q4611678) (← links)
- An Epistemic Strategy Logic (Q4617971) (← links)