A Game Semantics for Grz
Ilya Mezhirov · Journal of Logic and Computation · 2006
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.