A game semantics for Grz
We present a game semantics for modal propositional logic Grz. Since intuitionistic logic may be embedded into Grz, the semantics also covers intuitionistic propositional logic. That semantics is simpler than Lorenzen's 'dialogue' games, but lacks predicates.
game semantics grz intuitionistic logic lorenzen's games lorenzen's semantics dialogue games dialogue semantics