Repository | Journal | Volume | Articles
(2009) Synthese 171 (2).
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
Olivier Roy
pp. 291-320
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.
Publication details
DOI: 10.1007/s11229-009-9644-3
Full citation:
Roy, O. (2009). A dynamic-epistemic hybrid logic for intentions and information changes in strategic games. Synthese 171 (2), pp. 291-320.
This document is unfortunately not available for download at the moment.