Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 5
Number of items: 5
  • Gheerbrant, A. (2010). Complete axiomatization of the stutter-invariant fragment of the linear time µ-calculus. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in Modal Logic: AiML 8 (pp. 140-155). College Publications. http://www.aiml.net/volumes/volume8/Gheerbrant.pdf
  • van Benthem, J., & Gheerbrant, A. (2010). Game solution, epistemic dynamics and fixed-point logics. Fundamenta Informaticae, 100(1-4), 19-41. https://doi.org/10.3233/FI-2010-261
  • Open Access
    Gheerbrant, A. P. (2010). Fixed-point logics on trees. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Gheerbrant, A., & ten Cate, B. (2009). Craig interpolation for linear temporal languages. In E. Grädel, & R. Kahle (Eds.), Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings (pp. 287-301). (Lecture Notes in Computer Science; Vol. 5771). Springer. https://doi.org/10.1007/978-3-642-04027-6_22
  • Gheerbrant, A., & ten Cate, B. (2009). Complete axiomatizations of MSO, FO(TC1) and FO(LFP1) on finite trees. In S. Artemov, & A. Nerode (Eds.), Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings (pp. 180-196). (Lecture Notes in Computer Science; Vol. 5407). Springer. https://doi.org/10.1007/978-3-540-92687-0_13
Page of