This book develops a view of logic as a theory of information-driven agency and intelligent
interaction between many agents-with conversation, argumentation and games as guiding …

After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

This dissertation pursues two tightly interwoven goals: to bring out the relevance of
questions for the field of logic, and to establish a solid theory of the logic of questions within …

In Alternating-time Temporal Logic (ATL), one can express statements about the strategic
ability of an agent (or a coalition of agents) to achieve a goal φ such as:" agent i can choose …

We draw parallels between several closely related logics that combine—in different
proportions—elements of game theory, computation tree logics, and epistemic logics to …

In this chapter we relate epistemic logics with logics for strategic ability developed and
studied in computer science, artificial intelligence and multi-agent systems. We discuss …

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 …

We introduce ATLES-a variant of ATL with explicit names for strategies in the object
language. ATLES makes it possible to refer to the same strategy in different occurrences of …

Differential game logic (dG L) is a logic for specifying and verifying properties of hybrid
games, ie, games that combine discrete, continuous, and adversarial dynamics. Unlike …