55 citations · 134 across the 26 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.GT2017★ 6 cited
A New Game Equivalence and its Modal Logic
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
We revisit the crucial issue of natural game equivalences, and semantics of game logics based on these. We present reasons for investigating finer concepts of game equivalence than…
math.LO2017
Tarski's Theorem on Intuitionistic logic, for polyhedra
Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill +1
In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact…