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 influential formalisms for reasoning about strategic interaction
Type de document :
Article dans une revue
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2015, vol. 53, pp. 91-126. 〈10.1613/jair.4666〉
Liste complète des métadonnées

Littérature citée [48 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01809279
Contributeur : Open Archive Toulouse Archive Ouverte (oatao) <>
Soumis le : mercredi 6 juin 2018 - 15:45:18
Dernière modification le : vendredi 16 novembre 2018 - 01:24:26
Document(s) archivé(s) le : vendredi 7 septembre 2018 - 14:03:29

Fichier

grossi_18995.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Davide Grossi, Emiliano Lorini, François Schwarzentruber. The Ceteris Paribus Structure of Logics of Game Forms. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2015, vol. 53, pp. 91-126. 〈10.1613/jair.4666〉. 〈hal-01809279〉

Partager

Métriques

Consultations de la notice

88

Téléchargements de fichiers

71