A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
Olivier Roy · Synthese · 2009
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.