A dynamic-epistemic hybrid logic for intentions and information changes in strategic games |
| |
Authors: | O Roy |
| |
Institution: | (1) University of Otago, Dunedin, New Zealand |
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|