Dialogue Games in Classical Logic

Abstract

We define a class of dialogue games and prove that existence of winning strategies for the Proponent in this class of games corresponds to validity in classical propositional logic. Many authors have stated similar results without actually proving the correspondence. We modify the games used for intuitionistic logic given by Fermüller [3]. We employ standard dialogue games and a standard sequent calculus for classical logic. The result is a simple correspondence between dialogue games and classical logic.