Neighborhood models generalize the well-known relational models, or Kripke models, for
modal logic. Although the idea underlying neighborhood models is implicit in the seminal …

Alternating-time temporal logic (ATL) is a modal logic that allows to reason about agents'
abilities in game-like scenarios. Semantic variants of ATL are usually built upon different …

Coalition logic is currently one of the most popular logics for multi-agent systems. While
logics combining coalitional and epistemic operators have received considerable attention …

The paper proposes a bimodal logic that describes an interplay between distributed
knowledge modality and coalition know-how modality. Unlike other similar systems, the one …

We present a new notion of game equivalence that captures basic powers of interacting
players. We provide a representation theorem, a complete logic, and a new game algebra …

We introduce and discuss basic concepts, ideas, and logical formalisms used for reasoning
about strategic abilities in multi-player games. In particular, we present concurrent game …

The article introduces a ceteris paribus modal logic, called CP, interpreted on the
equivalence classes induced by finite sets of propositional atoms. This logic is studied and …

This is an entry for the Stanford Encyclopedia of Philosophy surveying the broad area of
logics for analyzing games. The main topics are Game Structure, Nature of Players, and …

Logical systems containing knowledge and know-how modalities have been investigated in
several recent works. Independently, epistemic modal logics in which every knowledge …

We consider extensions of Coalition Logic (CL) which can express statements about inter-
related powers of coalitions to achieve their respective goals. In particular, we introduce and …