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.
CITATION STYLE
Roy, O. (2009). A dynamic-epistemic hybrid logic for intentions and information changes in strategic games. Synthese, 171(2), 291–320. https://doi.org/10.1007/s11229-009-9644-3
Mendeley helps you to discover research relevant for your work.