Papers

Introduction à la logique modale. Gaëlle Fontaine. Master thesis (under the supervision of Georges Hansoul), 2004.

Axiomatization of ML and Cheq. Gaëlle Fontaine. Master thesis (under the supervision of Nick Bezhanishvili and Yde Venema), 2006.

ML is not finitely axiomatizable over Cheq. Gaëlle Fontaine. Proceedings of Advances in Modal Logic, 2006 (AiML 2006). Guido Governatori, Ian Hodkinson and Yde Venema eds., King's College Press, 2006.

Vietoris bisimulations. Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema. Journal of Logic and Computation, 2008.

Some modal aspects of XPath. Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak. Methods for Modalities 2007.

Continuous fragment of the mu-calculus. Gaëlle Fontaine. Proceedings of CSL, 2008.

An easy completeness proof for the mu-calculus on finite trees. Balder ten Cate and Gaëlle Fontaine. Accepted at FOSSACS 2010.

Automata for coalgebras: an approach using coalgebraic liftings . Gaëlle Fontaine, Raul Leal and Yde Venema. Accepted at Icalp 2010.

Frame definability for classes of trees in the mu-calculus. Gaëlle Fontaine and Thomas Place. Accepted at MFCS 2010.