Venema, Y., Vosmaer, J. (2014) Modal Logic and the Vietoris Functor.

In Bezhanishvili, G. (Eds.), Leo Esakia on Duality in Modal and Intuitionistic Logics (pp 119-153) (Outstanding contributions to logic, Vol. 4). Springer.

Venema, Y. (1994) A modal logic for quantification and substitution.

Logic journal of the IGPL, Vol. 2 (pp 31-45)

Article | https://doi.org/10.1093/jigpal/2.1.31 | UvA-DARE

Venema, Y. (1994) Completeness through flatness in two-dimensional temporal logic.

In Gabbay, Dov M. Ohlbach, Hans Jurgen (Eds.), Temporal Logic - 1st International Conference, ICTL 1994, Proceedings (pp 149-164) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 827 LNAI). Springer Verlag.

Venema, Y. (1997) Atom structures and Sahlqvist equations.

Algebra Universalis, Vol. 38 (pp 185-199)

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

Venema, Y. (1998) Rectangular Games.

Journal of Symbolic Logic, Vol. 63 (pp 1549-1564)

Article | https://doi.org/10.2307/2586666 | UvA-DARE

Venema, Y. (1998) Specification of dynamics for knowledge based systems.

In Freitag, B. (Eds.), Transactions and change in logic databases, Lecture notes in computer science (pp 37-68). Springer.

Venema, Y. (1998) Canonical Pseudo-correspondence.

ML-98. WINS (oud WINS).

Report | UvA-DARE

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

ML-98. WINS (oud WINS).

Report | UvA-DARE

Venema, Y. (1998) Temporal logic.

LP-98. WINS (oud WINS).

Report | UvA-DARE

Venema, Y. (1998) A Modal logic of information change.

In Gilboa, I. (Eds.), Proc. of the 7th on rationality and knowledge (pp 125-131). Morgan Kauffmann.

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