On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account

摘要

Modal logics of strategic ability usually focus on capturing what it means for an agent to have a feasible strategy that brings about some property. While there is a general agreement on abilities in scenarios where agents have perfect information, the right semantics for ability under incomplete information is still debated upon. Epistemic Temporal Strategic Logic, an offspring of this debate, can be treated as a logic that captures properties of agents’ rational play. In this paper, we provide a semantics of etsl that is more compact and comprehensible than the one presented in the original paper by van Otterloo and Jonker. Second, we use etsl to show that a rational player knows that he will succeed if, and only if, he knows how to play to succeed– while the same is not true for rational coalitions of players.