Raul Andres Leal

Home / Publications / Teaching

Here you can find a link to some presentations I have done.

Publications

2009

with Clemens Kupke , Of the Hennessy-Milner Property and other Demons, (Submitted to CALCO 2009 as Characterizing Behavioural Equivalence: Three sides of one coin.).
with Alexander Kurz , Equational Coalgebraic Logic , to appear in the proceedings of MFPS 25.

2008

Predicate Liftings Versus Nabla Modalities, Electronic Notes in Theoretical Computer Science, Volume 203, Issue 5 (June 2008), Pages 195-220,

2007

Expressivity of Coalgebraic Modal Languages, Master thesis at the Institute for Logic Language and Computation, Universiteit van Amsterdam, 2007, MoL-2007-19.