{"type":"ScholarlyArticle","title":"On Logics of Strategic Ability Based on Propositional Control","authors":[{"name":"Francesco Belardinelli","slug":"francesco-belardinelli","given":"Francesco","family":"Belardinelli","affiliation":""},{"name":"Andreas Herzig","slug":"andreas-herzig","given":"Andreas","family":"Herzig","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2016/21","pdf":"https://ijcai.org/proceedings/2016/0021.pdf","markdown":"https://ijcai.org/proceedings/2016/21.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/21","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":21,"pages":{"first":95,"last":100},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}