Students

Gaelle Fontaine wrote her master's thesis Axiomatization of ML and Cheq under my joint supervision with Yde Venema.

Intuitionistic Logic Project. Project papers written by master students at the ILLC under my supervision. January 2006.

Grants

Order-topological and model theoretic methods for modal logics . An EPSRC funded project. Principal Investigator: Ian Hodkinson . Co-investigator: Nick Bezhanishvili.

Some Events

Weekly LogIC Seminar at Imperial College.

Topology, Algebra and Categories in Logic, TACL'11. Marseilles, July 26-30, 2011.

Ninth Tbilisi Symposium on Language, Logic and Computation. Kutaisi, Georgia, September 26-30, 2011.

Advances in Modal Logic, AiML'12. Copenhagen, 22-25 August 2012