Multigames and strategies, coalgebraically

DOI10.1016/j.tcs.2015.07.020zbMath1331.91051OpenAlexW885867204MaRDI QIDQ890378

Marina Lenisa

Publication date: 10 November 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.07.020

zbMATH Keywords

coalgebrasgamescategories of games and strategiescoalgebraic strategiesgame operations

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Multistage and repeated games (91A20) Special categories (18B99)

Cites Work

• Bialgebras for structural operational semantics: an introduction
• ``Backward coinduction, Nash equilibrium and the rationality of escalation
• Extensive games as process models
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Comparing hierarchies of types in models of linear logic
• Conway Games, Coalgebraically
• Equivalences and Congruences on Infinite Conway Games
• Categories of Coalgebraic Games
• Coalgebraic Multigames
• The Winning Ways of Concurrent Games
• Conway games, algebraically and coalgebraically
• On the Compositionality of Round Abstraction
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
• The Microcosm Principle and Concurrency in Coalgebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item