Announcement: Two new papers

Last night we submitted two papers produced during the four-week research project on Dialogical Logic in the University of Amsterdam's Master of Logic programme:

• "Dialogue Games for Classical Logic". In this paper we introduce a class of dialogue games for classical logic, building on both Felscher 1985 and Fermüller 2003, and give a rigorous proof of the correspondence between the two.
• A Tableau System for the Dialogical Logic N". In this paper we define a tableau system for the logic N, and prove that it is sound and complete with respect to the logic. The proofs go via a reduction to canonical tableaux and algorithms for converting closed tableaux into winning strategies and vice versa.

Both papers are joint work by Jesse Alama, Aleks Knoks, and Sara L. Uckelman.