Venema, Y. (1998) The preservation theorem of Sahlqvist, equations in Completions of Boolean Algebras with operators.

ML. WINS (oud WINS).

Report | UvA-DARE

Venema, Y. (1998) Q-algebras.

Algebra Universalis, Vol. 40 (pp 19-49)

Article | https://doi.org/10.1007/s000120050079 | UvA-DARE

Venema, Y. (1998) Undecidable theories of Lyndon Algebras.

ML. WINS (oud WINS).

Report | UvA-DARE

Venema, Y. (1999) Modal definability, purely modal.

Amsterdam University Press.

Digital or Visual Products | UvA-DARE

Venema, Y. (1999) Points, lines and diamonds: a two-sorted modal logic for projective planes.

Journal of Logic and Computation, Vol. 9 (pp 601-621)

Article | https://doi.org/10.1093/logcom/9.5.601 | UvA-DARE

Venema, Y. (2000) Ultrafilter unions: an exercise in modal definability.

In Nepomuceno, A. Quesada, J.F. Salguero, F.J. (Eds.), Logic, Language and Information: Proceedings of the First Workshop on Logic and Language (pp 303-310)

Venema, Y. (2001) Canonical Pseudo-Correspondence.

In Zakharyaschev, M. alii (Eds.), Advances in Modal Logic, Volume II (pp 421-430)

Venema, Y. (2001) Temporal logic.

In Goble, L. (Eds.), The Blackwell Guide to Philosophical Logic (pp 259-281). Blackwell Publishers.

Venema, Y. (2002) Atomless varieties.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Venema, Y. (2002) Duals of subdirectly irreducible modal algebras.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Venema, Y. (2003) Atomless varieties.

Journal of Symbolic Logic, Vol. 68 (pp 607-614)

Article | https://doi.org/10.2178/jsl/1052669066 | UvA-DARE

Venema, Y. (2003) Representation of game algebras.

Studia Logica, Vol. 75 (pp 239-257)

Article | UvA-DARE

Venema, Y. (2004) Automata and Fixed Point Logic: a Coalgebraic Perspective.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Venema, Y. (2004) A dual characterization of subdirectly irreducible BAOs.

Studia Logica, Vol. 77 (pp 105-115)

Article | UvA-DARE

Venema, Y. (2004) Automata and fixed point logics for coalgebras.

Electronic Notes in Theoretical Computer Science, Vol. 106 (pp 355-375)

Article | UvA-DARE

Venema, Y. (2006) Algebras and Coalgebras.

In van Benthem, J.F.A.K. Blackburn, P. Wolter, F. (Eds.), Handbook of Modal Logic (pp 331-426). Elsevier.

Venema, Y. (2006) Automata and Fixed Point Logics: a Coalgebraic Perspective.

Information and Computation, Vol. 204 (pp 637-678)

Article | https://doi.org/10.1016/j.ic.2005.06.003 | UvA-DARE

Venema, Y. (2007) A modal distributive law.

In Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Proceedings (pp 351) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4576 LNCS). Springer Verlag.

Venema, Y. (2012) Algebra en coalgebra: bespiegelingen in de logica.

Universiteit van Amsterdam.

Inaugural speech | http://www.oratiereeks.nl/upload/pdf/PDF-6263weboratie_Venema.pdf | UvA-DARE

Venema, Y. (2013) Cylindric Modal Logic.

In Andréka, H. Ferenczi, M. Németi, I. (Eds.), Cylindric-like Algebras and Algebraic Logic (pp 249-269) (Bolyai Society Mathematical Studies, Vol. 22). Springer.