logic of common knowledge

I've almost finished to write a paper for lamas 06 ( http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.html ) about the logic of common knowledge. I've a working implementation of LCK with two agents with the TWB that I'll put online in the next few days in the d3mo section. The LCK calculus is very closely related to the UB calculus I've proposed in my thesis.

This week has been pretty full on. Raj implemented several calculi from his handbokk chapter. At the moment we've a working implementaion of S45, K4, KD, K4D .

I've fixed few minors bus to the twb-stable and I've managed to find a problem with the ocaml pre-processor ( http://caml.inria.fr/mantis/view.php?id=4165 ).

This bus is a bit of a problem for the work I was carring on in the development version of the TWB. I'll try to work around it waiting for the next release of Ocaml.

I've also been working to help Jack to implement Dyckoff intuitionistic logic, but unfortunately we didn't get to far one this front. My goal is to implement the sequent interface and then implement int as an example.

I've also almost finished my slides for my tour in europe. I'll put them only when they are done.

The slides are online.