OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

The Ceteris Paribus Structure of Logics of Game Forms

Grossi, Davide and Lorini, Emiliano and Schwarzentruber, François The Ceteris Paribus Structure of Logics of Game Forms. (2015) Journal of Artificial Intelligence Research, 53. 91-126. ISSN 1076-9757

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1613/jair.4666


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 influential formalisms for reasoning about strategic interaction

Item Type:Article
Additional Information:Thanks to AI Access Foundation. The original PDF of the article can be found at Journal of Artificial Intelligence Research website : https://jair.org/index.php/jair/article/view/10941
HAL Id:hal-01809279
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE)
Other partners > University of Liverpool (UNITED KINGDOM)
Laboratory name:
Deposited On:02 May 2018 12:59

Repository Staff Only: item control page