Publisher Summary Game-theoretic ideas have long played an influential rule in analyzing
various branches of logic. This chapter focuses on using modal logics to describe and …

Alternating-time temporal logic (ATL) is a branching time temporal logic in which statements
about what coalitions of agents can achieve by strategic cooperation can be expressed …

The alternating-time temporal logic (ATL) of Alur, Henzinger and Kupferman is being
increasingly widely applied in the specification and verification of open distributed systems …

Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of
philosophy of action. It is the logic of constructions of the form 'agent a sees to it that φ'. We …

We present a variant of ATL with incomplete information which includes the distributed
knowledge operators corresponding to synchronous action and perfect recall. The …

We investigate a series of logics that allow to reason about agents' actions, abilities, and
their knowledge about actions and abilities. These logics include Pauly's Coalition Logic CL …

LNAI 7486 - Epistemic <TEX>{\itshape ATL}</TEX> with Perfect Recall, Past and Strategy
Contexts Page 1 Epistemic ATL with Perfect Recall, Past and Strategy Contexts Dimitar P …

We introduce a reciprocity criterion for coalition formation among goal-directed agents,
which we call the indecomposable do-ut-des property. It refines an older reciprocity property …

This dissertation is about the formal structures related to agency, rationality left aside. More
specifically we concentrate our analysis on the concept of choice and its manifestation over …

We propose a variant of alternating time temporal logic () with imperfect information, perfect
recall, epistemic modalities for the past and strategies which are required to be uniform with …