OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Ceteris Paribus Structure in Logics of Game Forms

Grossi, Davide and Lorini, Emiliano and Schwarzentruber, François Ceteris Paribus Structure in Logics of Game Forms. (2013) In: Conference on Theoretical Aspects of Rationality and Knowledge - TARK 2013, 7 January 2013 - 9 January 2013 (Chennai, India).

[img]
Preview
(Document in English)

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

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

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-01141938
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Ecole Normale Supérieure de Cachan - ENS Cachan (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE)
Other partners > Institut National des Sciences Appliquées de Rennes - INSA (FRANCE)
Other partners > Institut Mines-Télécom (FRANCE)
Other partners > Ecole Supérieure d'Electricité - SUPELEC (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (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 > Université de Bretagne Sud - UBS (FRANCE)
Other partners > Université de Rennes 1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:14 Apr 2015 09:17

Repository Staff Only: item control page