A dynamic-epistemic hybrid logic for intentions and information changes in strategic games

Olivier Roy

pp. 291-320

in: Hans van Ditmarsch, Brian Hill, Ondrej Majer (eds), Knowledge, rationality & action, Synthese 171 (2), 2009.

Abstract

In this paper I present a dynamic-epistemic hybrid logic for reasoning about information and intention changes in situations of strategic interaction. I provide a complete axiomatization for this logic, and then use it to study intentions-based transformations of decision problems.