Article Dans Une Revue Logique et Analyse Année : 2018

Comparing semantics for temporal STIT logic

Résumé

In this paper we establish equivalence results for the different semantics for the temporal STIT logic T-STIT, that includes temporal operators and the group agency operator for the grand coalition, and we study a semantics for temporal STIT that is based on the concept of interpreted system à la Fagin et al. We discuss the descriptive adequacy of the above semantics in capturing a given game-theoretical scenario where information about the players is included, and we compare them with traditional BT+AC semantics. Also, we discuss the extension of T-STIT with full groups and the corresponding operators, and we discuss the distinction between frames that impose additivity and superadditivity on the choices of arbitrary groups.

Mots clés

Fichier principal
Vignette du fichier
ciuni_24701.pdf (960.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-02378366 , version 1 (25-11-2019)

Licence

Identifiants

  • HAL Id : hal-02378366 , version 1

Citer

Roberto Ciuni, Emiliano Lorini. Comparing semantics for temporal STIT logic. Logique et Analyse, 2018, 61 (243), pp.299-339. ⟨hal-02378366⟩
129 Consultations
160 Téléchargements

Partager

  • More