Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • 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
    Fontaine, G. M. M. (2010). Modal fixpoint logic: some model theoretic questions. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • 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
    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
    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.
  • 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
    Bílková, M., Palmigiano, A., & Venema, Y. (2008). Proof systems for the coalgebraic cover modality. In C. Areces, & R. Goldblatt (Eds.), Advances in Modal Logic 7 (pp. 1-21). College Publications. http://www.aiml.net/volumes/volume7/Bilkova-Palmigiano-Venema.pdf
  • 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
  • Open Access
    Kupke, C., & Venema, Y. (2008). Coalgebraic automata theory: Basic results. Logical Methods in Computer Science, 4(4), Article 10. https://doi.org/10.2168/LMCS-4(4:10)2008
Page 7 of 13