most citedPresentation of a Game Semantics for First-Order Propositional Logic

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2008★ 1 cited

Presentation of a Game Semantics for First-Order Propositional Logic

Samuel Mimram

Game semantics aim at describing the interactive behaviour of proofs by interpreting formulas as games on which proofs induce strategies. In this article, we introduce a game seman…