The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)

Davide Grossi (1) , Emiliano Lorini (2, 3) , François Schwarzentruber (4)

1 University of Liverpool
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique
4 ENS Rennes - École normale supérieure - Rennes

We present a simple Ceteris Paribus Logic (CP) and study its relationship with existing logics that deal with the representation of choice and power in games in normal form including atemporal STIT, Coalition Logic of Propositional Control (CL-PC) and Dynamic Logic of Propositional Assignments (DL-PA). Thanks to the polynomial reduction of the satisfiability problem for atemporal STIT in the satisfiability problem for CP, we obtain a complexity result for the latter problem.

Mots clés: Reasoning; Logic; Game theory; Logics for knowledge representation

Domaines: Logique en informatique [cs.LO]

Davide Grossi, Emiliano Lorini, François Schwarzentruber. The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract). 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.5000-5004, ⟨10.24963/ijcai.2017/710⟩. ⟨hal-02319717⟩