2014/04/03 by Francesco Belardinelli
Computer Science · #cs.LO #cs.AI
paper · pdf · doi:10.4204/eptcs.146.4
published as EPTCS 146, 2014, pp. 27-33 · In Proceedings SR 2014, arXiv:1404.0414
arxiv created 2014/04/03 · arxiv updated 2014/04/04
In this paper we introduce Epistemic Strategy Logic (ESL), an extension of Strategy Logic with modal operators for individual knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own and other agents' strategies. We provide a semantics to ESL in terms of epistemic concurrent game models, and consider the corresponding model checking problem. We show that the complexity of model checking ESL is not worse than (non-epistemic) Strategy Logic