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 gametheoretical 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.
Ciuni, R., & Lorini, E. (2018). Comparing semantics for temporal STIT logic. LOGIQUE ET ANALYSE, 243(243), 299-339 [10.2143/LEA.243.0.3285131].
|Titolo:||Comparing semantics for temporal STIT logic|
|Data di pubblicazione:||2018|
|Citazione:||Ciuni, R., & Lorini, E. (2018). Comparing semantics for temporal STIT logic. LOGIQUE ET ANALYSE, 243(243), 299-339 [10.2143/LEA.243.0.3285131].|
|Appare nelle tipologie:||1.1 Articolo in rivista|