A Temporal Logic of Strategic Knowledge
Authors: Xiaowei Huang and Ron Van Der Meyden
Paper Information
| Title: | A Temporal Logic of Strategic Knowledge |
| Authors: | Xiaowei Huang and Ron Van Der Meyden |
| Proceedings: | KR 2014 Proceedings |
| Editors: | Chitta Baral, Laura Kovacs, Giuseppe De Giacomo and Thomas Eiter |
| Keywords: | epistemic logic, alternating temporal logic, strategies |
| Abstract: | ABSTRACT. The paper presents an extension of temporal epistemic logic with epistemic operators that capture what agents could deduce from knowledge of the strategies of some subset of the set of agents. Some examples are presented to motivate the framework, and relationships to several variants of alternating temporal epistemic logic are discussed. Results on model checking the logic are then presented. |
| Pages: | 10 |
| Talk: | Jul 21 15:30 |
| Paper: |  |