OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Temporal STIT logic and its application to normative reasoning

Lorini, Emiliano Temporal STIT logic and its application to normative reasoning. (2013) Journal of Applied Non-Classical Logics, 23 (4). 372-399. ISSN 1166-3081

(Document in English)

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

Official URL: http://dx.doi.org/10.1080/11663081.2013.841359


I present a variant of STIT with time, called T-STIT (Temporal STIT), interpreted in standard Kripke semantics. On the syntactic level, T-STIT is nothing but the extension of atemporal individual STIT by: (i) the future tense and past tense operators, and (ii) the operator of group agency for the grand coalition (the coalition of all agents). A sound and complete axiomatisation for T-STIT is given. Moreover, it is shown that T-STIT supports reasoning about interesting normative concepts such as the concepts of achievement obligation and commitment.

Item Type:Article
Additional Information:Thanks to Taylor & Francis editor. The definitive version is available at http://www.tandfonline.com/doi/abs/10.1080/11663081.2013.841359#.VQE3OvmG-oF
HAL Id:hal-01130572
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (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)
Laboratory name:
Deposited On:12 Mar 2015 07:33

Repository Staff Only: item control page