On Logics of Strategic Ability Based on Propositional Control
Abstract
Recently logics for strategic ability have gained pre-eminence in the modelisation and analysis of game-theoretic scenarios. In this paper we provide a contribution to the comparison of two popular frameworks: Concurrent Game Structures (CGS) and Coalition Logic of Propositional Control (CLPC). Specifically, we ground the abstract abilities of agents in CGS on Propositional Control, thus obtaining a class of CGS that has the same expressive power as CL-PC. We study the computational properties of this setting. Further, we relax some of the assumptions of CL-PC so as to introduce a wider class of computationally-grounded CGS. PDF
Cite
Text
Belardinelli and Herzig. "On Logics of Strategic Ability Based on Propositional Control." International Joint Conference on Artificial Intelligence, 2016.Markdown
[Belardinelli and Herzig. "On Logics of Strategic Ability Based on Propositional Control." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/belardinelli2016ijcai-logics/)BibTeX
@inproceedings{belardinelli2016ijcai-logics,
title = {{On Logics of Strategic Ability Based on Propositional Control}},
author = {Belardinelli, Francesco and Herzig, Andreas},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {95-101},
url = {https://mlanthology.org/ijcai/2016/belardinelli2016ijcai-logics/}
}