Home › Blogs › pietro's blog

Cut-Free Single-pass Tableaux for the Logic of Common Knowledge

Thu, 2007-06-14 20:46 — pietro

We are going to present this paper at a satellite workshop at TABLEAUX 2007 : http://tableaux2007.univ-cezanne.fr/scientific-program.html