On dialogue games and coherent strategies

DOI10.4230/LIPIcs.CSL.2013.540zbMath1356.03075OpenAlexW2259374599MaRDI QIDQ2958544

Paul-André Melliès

Publication date: 2 February 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2013/4218/pdf/38.pdf

zbMATH Keywords

game semanticsinnocent strategiestensorial logicstable orderbistructuresextensional order

Mathematics Subject Classification ID

Other game-theoretic models (91A40) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

On dialogue games and graph games ⋮ Unnamed Item ⋮ Monoidal-closed categories of tree automata

This page was built for publication: On dialogue games and coherent strategies