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.
  • ten Cate, B. D., Conradie, W., Marx, M. J., & Venema, Y. (2006). Definitorially Complete Description Logics. In P. Doherty, J. Mylopoulos, & C. Welty (Eds.), Proceedings of KR 2006 (pp. 79-89). AAAI Press.
  • 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.
  • 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
  • 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
  • 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.
  • Blackburn, P., de Rijke, M., & Venema, Y. (2004). Modal logic. (Cambridge tracts in theoretical computer science; No. 53). Cambridge University Press.
  • Goldblatt, R., Hodkinson, I., & Venema, Y. (2004). Erdös graphs resolve Fine's canonicity problem. The Bulletin of Symbolic Logic, 10, 186-208. https://doi.org/10.2178/bsl/1082986262
  • Venema, Y. (2004). A dual characterization of subdirectly irreducible BAOs. Studia Logica, 77, 105-115.
Page 9 of 14