An Epistemic Strategy Logic
- Submitting institution
-
The University of Liverpool
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 12108
- Type
- D - Journal article
- DOI
-
10.1145/3233769
- Title of journal
- ACM Transactions on Computational Logic
- Article number
- 26
- First page
- 1
- Volume
- 19
- Issue
- 4
- ISSN
- 1529-3785
- Open access status
- Compliant
- Month of publication
- November
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 3
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- A preliminary version of this paper with the same title appeared at SR'14. The logic presented in this paper has served as the foundation for the papers "Symbolic Model Checking Epistemic Strategy Logic" (AAAI'14) and "Symbolic Synthesis for Epistemic Specifications with Observational Semantics" (TACAS'14) which provide symbolic model checking and synthesis algorithms for the logic. They also report on the implementation of the algorithms and provide a positive evaluation. Those two papers are not REF returned.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -