Comparing semantics for temporal STIT logic

Roberto Ciuni (1) , Emiliano Lorini (2, 3)

1 Unipd - Università degli Studi di Padova = University of Padua
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique

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: Temporal STIT logic

Domaines: Logique en informatique [cs.LO]

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