Skip to Main content Skip to Navigation
Conference papers

Ceteris Paribus Structure in Logics of Game Forms

Abstract : 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
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01141938
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, April 15, 2015 - 7:45:22 AM
Last modification on : Friday, July 10, 2020 - 4:23:00 PM
Long-term archiving on: : Monday, September 14, 2015 - 8:50:14 AM

File

Grossi_12417.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01141938, version 2
  • OATAO : 12417

Citation

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

Share

Metrics

Record views

465

Files downloads

231