Pages that link to "Item:Q2431875"
From MaRDI portal
The following pages link to Comparing semantics of logics for multi-agent systems (Q2431875):
Displaying 18 items.
- On the use (and abuse) of logic in game theory (Q266655) (← links)
- Preface to the special issue: Temporal logics of agency (Q616042) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Dynamic coalition logic: granting and revoking dictatorial powers (Q2148819) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Complete axiomatization and decidability of alternating-time temporal logic (Q2368988) (← links)
- A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic (Q2386107) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
- (Q3425580) (← links)
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
- A Logic for Reasoning about Rational Agents (Q3602940) (← links)
- Constructive knowledge: what agents can achieve under imperfect information (Q3647280) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES (Q5357326) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
- Reasoning about dependence, preference and coalitional power (Q6191139) (← links)
