The Ceteris Paribus Structure of Logics of Game Forms
Abstract
The article introduces a ceteris paribus modal logic, called CP, interpreted on the equivalence classes induced by finite sets of propositional atoms. This logic is studied and then used to embed three logics of strategic interaction, namely atemporal STIT, the coalition logic of propositional control (CL--PC) and the starless fragment of the dynamic logic of propositional assignments (DL--PA). The embeddings highlight a common ceteris paribus structure underpinning the key operators of all these apparently very different logics and show, we argue, remarkable similarities behind some of the most in uential formalisms for reasoning about strategic interaction.
Cite
Text
Grossi et al. "The Ceteris Paribus Structure of Logics of Game Forms." Journal of Artificial Intelligence Research, 2015. doi:10.1613/JAIR.4666Markdown
[Grossi et al. "The Ceteris Paribus Structure of Logics of Game Forms." Journal of Artificial Intelligence Research, 2015.](https://mlanthology.org/jair/2015/grossi2015jair-ceteris/) doi:10.1613/JAIR.4666BibTeX
@article{grossi2015jair-ceteris,
title = {{The Ceteris Paribus Structure of Logics of Game Forms}},
author = {Grossi, Davide and Lorini, Emiliano and Schwarzentruber, François},
journal = {Journal of Artificial Intelligence Research},
year = {2015},
pages = {91-126},
doi = {10.1613/JAIR.4666},
volume = {53},
url = {https://mlanthology.org/jair/2015/grossi2015jair-ceteris/}
}