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.

Live, from Indonesia

Tuesday afternoon, Jesse and I released N into the wild. He gave a talk introducing the website (look for significant improvements to it soon!) and then I spoke about N and the challenges of developing a proof theory for it. I think we rather perplexed the audience, as there was only one person in it that had ever heard of dialogical logic before, and we only had 20 minutes between the two of us. A substantive blog post will come soon; I've got a couple of topics that have been rattling around in my mind.

N goes to India

Jesse and I will be traveling to the 4th Indian Conference on Logic and its Applications to present our paper "A curious dialogical logic and its composition problem".

News and events

We have had two short papers accepted to the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Yogyakarta, Indonesia, October 10-15, 2010:

• Jesse Alama & Sara L. Uckelman, "Playing Lorenzen dialogue games on the Web".
• Jesse Alama & Sara L. Uckelman, "Proof rules for the dialogical logic N".

Both Jesse and I will be giving talks on our recent work at the Workshop on Dialogues, Inference, and Proof - Logical and Empirical Perspectives, Vienna, Austria, November 26-28, 2010. There are also plans in the work for a follow-up workshop in Tübingen, tentatively scheduled for February 25-27, 2011. When details are finalized, they will be announced here among other places.