2026-07-23T16:33:57Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4218 2024-03-06T10:34:54Z ddc:004 open_access

On dialogue games and coherent strategies Melliès, Paul-André Game semantics Stable order Extensional order Bistructures Tensorial logic Innocent strategies We explain how to see the set of positions of a dialogue game as a coherence space in the sense of Girard or as a bistructure in the sense of Curien, Plotkin and Winskel. The coherence structure on the set of positions results from a Kripke translation of tensorial logic into linear logic extended with a necessity modality. The translation is done in such a way that every innocent strategy defines a clique or a configuration in the resulting space of positions. This leads us to study the notion of configuration designed by Curien, Plotkin and Winskel for general bistructures in the particular case of a bistructure associated to a dialogue game. We show that every such configuration may be seen as an interactive strategy equipped with a backward as well as a forward dynamics based on the interplay between the stable order and the extensional order. In that way, the category of bistructures is shown to include a full subcategory of games and coherent strategies of an interesting nature. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Paul-André Melliès 2013 Is Part Of LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2013.540 urn:nbn:de:0030-drops-42181 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.540 eng https://creativecommons.org/licenses/by/3.0/legalcode