A temporal logic of strategic knowledge
Xiaowei Huang, Ron van der Meyden · 2014
The paper presents an extension of temporal epistemic logic that adds “strategic ” agents in a way that allows standard epis-temic operators to capture what agents could deduce from knowledge of the strategies of some subset of the set of agents. A number of examples are presented to demonstrate the broad applicability of the framework, including reasoning about implementations of knowledge-based programs, game theoretic solution concepts and notions from computer secu-rity. It is shown that notions from several variants of alternat-ing temporal epistemic logic can be expressed. The frame-work is shown to have a decidable model checking problem.