Reasoning about knowledge and strategies: epistemic strategy logic
File(s)1404.0837v1.pdf (180.61 KB)
Published version
Author(s)
Belardinelli, F
Type
Conference Paper
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.
Date Issued
2014-04-01
Date Acceptance
2014-04-01
Citation
Proceedings of the 2nd International Workshop on Strategic Reasoning 2014 (SR 2014), 2014, pp.27-33
Start Page
27
End Page
33
Journal / Book Title
Proceedings of the 2nd International Workshop on Strategic Reasoning 2014 (SR 2014)
Copyright Statement
© F. Belardinelli. This work is licensed under the
Creative Commons Attribution License (https://creativecommons.org/licenses/by/3.0/).
Creative Commons Attribution License (https://creativecommons.org/licenses/by/3.0/).
Identifier
https://arxiv.org/abs/1404.0837v1
Source
2nd International Workshop on Strategic Reasoning
Subjects
cs.LO
cs.AI
Publication Status
Published
Start Date
2014-04-05
Finish Date
2014-04-06
Coverage Spatial
Grenoble, France
Date Publish Online
2014-04-03