Tuesday, February 8, 2011

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.

No comments:

Post a Comment