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

https://hal.archives-ouvertes.fr/hal-02319717
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

File

grossi_22375.pdf
Files produced by the author(s)

Identifiers

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

Citation

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⟩

Share

Metrics

Record views

52

Files downloads

130