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

Davide Grossi, Emiliano Lorini, François Schwarzentruber

IJCAI 2017 pp. 5000-5004

doi:10.24963/IJCAI.2017/710 /ijcai/2017/grossi2017ijcai-ceteris/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Grossi et al. "The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/710

Markdown

[Grossi et al. "The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/grossi2017ijcai-ceteris/) doi:10.24963/IJCAI.2017/710

BibTeX

@inproceedings{grossi2017ijcai-ceteris,
  title     = {{The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)}},
  author    = {Grossi, Davide and Lorini, Emiliano and Schwarzentruber, François},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {5000-5004},
  doi       = {10.24963/IJCAI.2017/710},
  url       = {https://mlanthology.org/ijcai/2017/grossi2017ijcai-ceteris/}
}