Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 18 марта 2017 г.
Аннотация: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.