Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 132
Number of items: 132
  • Venema, Y. (2006). Algebras and Coalgebras. In J. F. A. K. van Benthem, P. Blackburn, & F. Wolter (Eds.), Handbook of Modal Logic (pp. 331-426). Elsevier.
  • Gehrke, M., Harding, J., & Venema, Y. (2006). MacNeille completions and canonical extensions. Transactions of the Americal Mathematical Society, 358(2), 573-590. https://doi.org/10.1090/S0002-9947-05-03816-X
  • Kupke, C. A. (2006). Finitary coalgebraic logics. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Bezhanishvili, N. (2006). Lattices of intermediate and cylindric modal logics. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Kupke, C. A., & Venema, Y. (2005). Closure properties of coalgebra automata. In Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (pp. 199-208). IEEE Press.
  • Hodkinson, I., & Venema, Y. (2005). Canonical varieties with no canonical axiomatisation. Transactions of the Americal Mathematical Society, 357, 4579-4605. https://doi.org/10.1090/S0002-9947-04-03743-2
  • Gehrke, M., Nagahashi, H., & Venema, Y. (2005). A Sahlqvist theorem for distributive modal logic. Annals of Pure and Applied Logic, 131, 65-102. https://doi.org/10.1016/j.apal.2004.04.007
  • Blackburn, P., de Rijke, M., & Venema, Y. (2004). Modal logic. (Cambridge tracts in theoretical computer science; No. 53). Cambridge University Press.
  • Venema, Y. (2004). Automata and Fixed Point Logic: a Coalgebraic Perspective. (Technical Reports; No. PP-2004-21). Institute for Logic, Language and Computation.
  • Gehrke, M., Harding, J., & Venema, Y. (2004). MacNeille completions and canonical extensions. (Technical Reports; No. PP-2004-05). Institute for Logic, Language and Computation.
Page 9 of 14