An Epistemic Strategy Logic (Extended Abstract)
The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by other agents. Some examples are presented to motivate the fra...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2014-04-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1404.0838v1 |
| id |
doaj-b09615f574c1424fb9f4b0a1f398e66f |
|---|---|
| record_format |
Article |
| spelling |
doaj-b09615f574c1424fb9f4b0a1f398e66f2020-11-24T22:34:49ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-04-01146Proc. SR 2014354110.4204/EPTCS.146.5:3An Epistemic Strategy Logic (Extended Abstract)Xiaowei Huang0Ron van der Meyden1 University of New South Wales, Australia University of New South Wales, Australia The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by other agents. Some examples are presented to motivate the framework, and relationships to several variants of alternating temporal epistemic logic are discussed. The computational complexity of model checking the logic is also characterized.http://arxiv.org/pdf/1404.0838v1 |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
Xiaowei Huang Ron van der Meyden |
| spellingShingle |
Xiaowei Huang Ron van der Meyden An Epistemic Strategy Logic (Extended Abstract) Electronic Proceedings in Theoretical Computer Science |
| author_facet |
Xiaowei Huang Ron van der Meyden |
| author_sort |
Xiaowei Huang |
| title |
An Epistemic Strategy Logic (Extended Abstract) |
| title_short |
An Epistemic Strategy Logic (Extended Abstract) |
| title_full |
An Epistemic Strategy Logic (Extended Abstract) |
| title_fullStr |
An Epistemic Strategy Logic (Extended Abstract) |
| title_full_unstemmed |
An Epistemic Strategy Logic (Extended Abstract) |
| title_sort |
epistemic strategy logic (extended abstract) |
| publisher |
Open Publishing Association |
| series |
Electronic Proceedings in Theoretical Computer Science |
| issn |
2075-2180 |
| publishDate |
2014-04-01 |
| description |
The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by other agents. Some examples are presented to motivate the framework, and relationships to several variants of alternating temporal epistemic logic are discussed. The computational complexity of model checking the logic is also characterized. |
| url |
http://arxiv.org/pdf/1404.0838v1 |
| work_keys_str_mv |
AT xiaoweihuang anepistemicstrategylogicextendedabstract AT ronvandermeyden anepistemicstrategylogicextendedabstract AT xiaoweihuang epistemicstrategylogicextendedabstract AT ronvandermeyden epistemicstrategylogicextendedabstract |
| _version_ |
1725725963299323904 |