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