Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Friday, October 18, 2019 - 11:21:46 AM
Last modification on : Sunday, June 14, 2020 - 3:28:42 AM
Long-term archiving on: : Sunday, January 19, 2020 - 2:22:25 PM


Files produced by the author(s)


  • HAL Id : hal-02319717, version 1
  • OATAO : 22375


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. ⟨hal-02319717⟩



Record views


Files downloads