Ceteris Paribus Structure in Logics of Game Forms (2013) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Ceteris Paribus Structure in Logics of Game Forms (2013)

Résumé

The article introduces a ceteris paribus modal logic interpreted on the equivalence classes induced by sets of propositional atoms. This logic is used to embed two logics of agency and games, namely atemporal STIT and the coalition logic of propositional control (CL−PC). The embeddings highlight a common ceteris paribus structure underpinning the key modal operators of both logics, they clarify the relationship between STIT and CL−PC, and enable the transfer of complexity results to the ceteris paribus logic
Fichier principal
Vignette du fichier
Grossi_12417.pdf (395.16 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01141938 , version 1 (14-04-2015)
hal-01141938 , version 2 (15-04-2015)

Identifiants

Citer

Davide Grossi, Emiliano Lorini, François Schwarzentruber. Ceteris Paribus Structure in Logics of Game Forms (2013). Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, Chennai, India. pp.1-11. ⟨hal-01141938v2⟩
307 Consultations
96 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More