Items where Author is "Gheerbrant, Amélie"

Report

PP-2011-28: van Benthem, Johan and Gheerbrant, Amélie (2011) Game Solution, Epistemic Dynamics and Fixed-Point Logics. [Report]

PP-2010-12: Gheerbrant, Amélie (2010) Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus. [Report]

PP-2009-41: Gheerbrant, Amélie (2009) Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus. [Report]

PP-2009-26: Gheerbrant, Amélie and ten Cate, Balder (2009) Craig Interpolation for Linear Temporal Languages. [Report]

PP-2008-44: Gheerbrant, Amélie and ten Cate, Balder (2008) Complete Axiomatizations of $MSO$, $FO(TC^1)$, $FO(LFP^1)$ on Finite Trees. [Report]

Thesis

DS-2010-08: Gheerbrant, Amélie (2010) Fixed-Point Logics on Trees. Doctoral thesis, University of Amsterdam.