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

Comparing semantics for temporal STIT logic

Ciuni R.;
2018

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 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].
File in questo prodotto:
File Dimensione Formato  
Comparing semantics for temporal STIT logic.pdf

accesso aperto

Descrizione: Articolo
Tipologia: Documento in Pre-print
Licenza: DRM non definito
Dimensione 712.18 kB
Formato Adobe PDF
712.18 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11590/402165
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 3
social impact