Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

Abstract

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

arXiv commentIn Proceedings SR 2014, arXiv:1404.0414

References in corpus (1)

• Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

Cited by in corpus (12)

• Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
• Strategy Logic with Imperfect Information
• Reasoning about Strategies: on the Satisfiability Problem
• Strategically knowing how
• Uncertainty-Based Semantics for Multi-Agent Knowing How Logics
• An Epistemic Strategy Logic
• Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)
• Dealing with imperfect information in Strategy Logic
• Knowledge and Blameworthiness
• Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge
• Knowledge Sharing in Coalitions
• Navigability with Imperfect Information