Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 132
Number of items: 132
  • Schröder, L., & Venema, Y. (2010). Flat coalgebraic fixed point logics. In P. Gastin, & F. Laroussinie (Eds.), CONCUR 2010 - Concurrency Theory: 21st international conference, CONCUR 2010, Paris, France, August 31-September 3, 2010 : proceedings (pp. 524-538). (Lecture Notes in Computer Science; Vol. 6269), (Advanced Research in Computing and Software Science). Springer. https://doi.org/10.1007/978-3-642-15375-4_36
  • Fontaine, G., Leal, R., & Venema, Y. (2010). Automata for Coalgebras: an approach using predicate liftings. In S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, & P. G. Spirakis (Eds.), Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings (Vol. 2, pp. 381-392). (Lecture Notes in Computer Science; Vol. 6199), (Advanced Research in Computing and Software Science). Springer. https://doi.org/10.1007/978-3-642-14162-1_32
  • Kurz, A., & Venema, Y. (2010). Coalgebraic Lindström Theorems. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in Modal Logic: AiML 8 (pp. 292-309). College Publications. http://www.aiml.net/volumes/volume8/Kurz-Venema.pdf
  • Santocanale, L., & Venema, Y. (2010). Uniform interpolation for monotone modal logic. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in Modal Logic: AiML 8 (pp. 350-370). College Publications. http://www.aiml.net/volumes/volume8/Santocanale-Venema.pdf
  • Open Access
    Olde Loohuis, L., & Venema, Y. (2010). Logics and algebras for multiple players. Review of Symbolic Logic, 3(3), 485-519. https://doi.org/10.1017/S1755020310000079
  • Open Access
    Santocanale, L., & Venema, Y. (2010). Completeness for flat modal fixpoint logics. Annals of Pure and Applied Logic, 162(1), 55-82. https://doi.org/10.1016/j.apal.2010.07.003
  • Open Access
    Vosmaer, J. (2010). Logic, algebra and topology: investigations into canonical extensions, duality theory and point-free topology. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Fontaine, G. M. M. (2010). Modal fixpoint logic: some model theoretic questions. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Kissig, C., & Venema, Y. (2009). Complementation of coalgebra automata. In A. Kurz, M. Lenisa, & A. Tarlecki (Eds.), Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings (pp. 81-96). (Lecture Notes in Computer Science; Vol. 5728). Springer. https://doi.org/10.1007/978-3-642-03741-2_7
  • Open Access
    Kupke, C., Kurz, A., & Venema, Y. (2008). Completeness of the finitary Moss logic. In C. Areces, & R. Goldblatt (Eds.), Advances in Modal Logic 7 (pp. 193-217). College Publications. http://www.aiml.net/volumes/volume7/Kupke-Kurz-Venema.pdf
Page 7 of 14