Various combinations of temporal logics, epistemic and doxastic logics, and action logics have been used to reason about (groups of) agents in social situations. A key issue that has emerged is how best to represent and reason about the underlying protocol that governs the agents' interactions in a particular social situation. In this paper, we propose a PDL-style logic for reasoning about protocols under imperfect information. Our paper touches on a number of issues surrounding the relationship between an agent's abilities, available choices and information in an interactive situation. The main question we address is under what circumstances can the agent commit to a protocol or plan, and what can she achieve by doing so?
A recent paper by Pacuit and Simon REF develops a PDL-style logic for reasoning about protocols.
REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
Rev. Symb. Log.
Rev. Symb. Log.
Mathematics Computer Science