---
title: "On Logics of Strategic Ability Based on Propositional Control"
authors:
  - "Francesco Belardinelli"
  - "Andreas Herzig"
doi: ""
url: "https://ijcai.org/proceedings/2016/21"
pdf: "https://ijcai.org/proceedings/2016/0021.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "95-100"
track: ""
keywords:
---

# On Logics of Strategic Ability Based on Propositional Control

Francesco Belardinelli, Andreas Herzig

*Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence*, pages 95-100.

## 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.