{"id":"arxiv/2607.13855","url":"https://arxiv.org/abs/2607.13855","tags":["math.LO","cs.LO"],"score":0,"title":"Inferentialist Game Semantics (Extended Abstract)","domain":"math.LO","source":"arxiv","authors":["Joaquim T. Waddington","Alexander V. Gheorghiu","David J. Pym"],"reviews":0,"subject":"math.LO","summary":"Game semantics is an elegant approach to the formal semantics of reasoning and computation that grounds model-theoretic concepts of truth and validity in game-theoretic concepts that emphasize the dynamic and interactive aspects of logical reasoning. In Hyland-Ong games, plays are traces of interactions between a player and an environment and such games provide a naturally appealing semantics for computation that is derived from proof-search in logical systems. Such a semantics can be seen as providing an intensional theory of meaning for systems of logic in terms of (the computation of)…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-15","reactions":{}}