|previous article in this issue||next article in this issue|
Document Details :
Title: Comparing Semantics for Temporal STIT Logic
Author(s): CIUNI, Roberto , LORINI, Emiliano
Journal: Logique et Analyse
Volume: 243 Date: 2018
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.