# Concurrent Game Structures for Temporal STIT Logic

Boudou, Joseph and Lorini, Emiliano Concurrent Game Structures for Temporal STIT Logic. (2018) In: 17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 11 July 2018 - 13 July 2018 (Stockholm, Sweden).

 Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
483kB

## Abstract

The paper introduces a new semantics for temporal STIT logic (the logic of seeing to it that ) based on concurrent game structures (CGSs), thereby strengthening the connection between temporal STIT and existing logics for MAS including coalition logic, alternating-time temporal logic and strategy logic whose language are usually interpreted over CGSs. Moreover, it provides a complexity result for a rich temporal STIT language interpreted over these structures. The language extends that of full computation tree logic (CTL*) by individual agency operators, allowing to express sentences of the form "agent i sees to it that $\varphi$ is true, as a consequence of her choice''.

Item Type: Conference or Workshop Item (Paper) AAMAS'18 : Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems ISBN: 978-1-4503-5649-7 ISSN: 2523-5699 https://dl.acm.org/citation.cfm?id=3237443 hal-02382734 International conference proceedings Temporal STIT logic Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) download 21 Nov 2019 14:44

Repository Staff Only: item control page