this issue
previous article in this issuenext article in this issue

Preview first page
Document Details :

Title: Comparing Semantics for Temporal STIT Logic
Author(s): CIUNI, Roberto , LORINI, Emiliano
Journal: Logique et Analyse
Volume: 243    Date: 2018   
Pages: 299-339
DOI: 10.2143/LEA.243.0.3285131

Abstract :
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.

Download article