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 …

This paper adds evidence structure to standard models of belief, in the form of families of
sets of worlds. We show how these more fine-grained models support natural actions of …

Our preferences determine how we act and think, but exactly what the mechanics are and
how they work is a central cause of concern in many disciplines. This book uses techniques …

Graph games are interactive scenarios with a wide range of applications. This position
paper discusses old and new graph games in tandem with matching logics and identifies …

Questions are triggers for explicit events of 'issue management'. We give a complete logic in
dynamic-epistemic style for events of raising, refining, and resolving an issue, all in the …

We describe the planning problem within the framework of dynamic epistemic logic (DEL),
considering the tree of sequences of events as the underlying structure. In general, the DEL …

GDL-III, a description language for general game playing with imperfect information and
introspection, supports the specification of epistemic games. These are characterised by …

We propose a dynamic logic of lying, wherein a 'lie that φ'(where φ is a formula in the logic)
is an action in the sense of dynamic modal logic, that is interpreted as a state transformer …

Abstract Action models of Dynamic Epistemic Logic (DEL) represent precisely how actions
are perceived by agents. DEL has recently been used to define infinite multi-player games …

This thesis uses logical tools to investigate a number of basic features of social networks
and their evolution over time, including flow of information and spread of opinions. Part I …