A new Epistemic Strategy Logic internalizes uniformity and other strategy properties in the object language, and its perfect-information core BSL is shown equiexpressive with Strategy Logic.
In: Proceedings of SR 2014, pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Dealing with imperfect information in Strategy Logic
A new Epistemic Strategy Logic internalizes uniformity and other strategy properties in the object language, and its perfect-information core BSL is shown equiexpressive with Strategy Logic.