Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • 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
  • 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.
  • 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 13