Strategic commitment and release in logics for multi-agent systems
Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga · PhilPapers (PhilPapers Foundation) · 2008
Weanalyze the semantics of ATL∗ and related logics for strategic abilities. Our focus is on how these logics treat agents’ commitments to strategies in the process of formula evaluation. We point out some questionable effects in that respect in the standard semantics, and discuss some alternatives leading to amendments of that semantics. We also propose and discuss various syntactic and semantics mechanisms for handling commitments to strategies and release from such commitments in the semantics of ATL∗, leading to more expressive and semantically refined versions of that logic.