 |
Conference papers
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.
https://hal.archives-ouvertes.fr/hal-01424478
Contributor : Frédéric Davesne <>
Submitted on : Monday, January 2, 2017 - 1:41:20 PM
Last modification on : Wednesday, November 18, 2020 - 10:30:21 AM
Contributor : Frédéric Davesne <>
Submitted on : Monday, January 2, 2017 - 1:41:20 PM
Last modification on : Wednesday, November 18, 2020 - 10:30:21 AM