Veltman, F. (2002) Syllabus logische analyse.

Universiteit van Amsterdam.

Book | UvA-DARE

Veltman, F. (2002) Het verschil tussen vaag en niet precies.

Oratiereeks. Vossiuspers UvA.

Inaugural speech | UvA-DARE

Veltman, F. (2002) Logica in historisch perspectief.

Unknown Publisher.

Book | UvA-DARE

Veltman, F. (2004) Making Counterfactual assumptions.

ILLC Prebublications. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Veltman, F. (2005) Making counterfactual assumptions.

Journal of Semantics, Vol. 22 (pp 159-180)

Article | UvA-DARE

Veltman, F. (2013) Learning to Live with Paradox.

In van Benthem, J. Liu, F. (Eds.), Logic Across the University: Foundations and Applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013 (pp 333-337) (Studies in Logic, Vol. 47). College Publications.

Venema, Y., Vickers, S., Vosmaer, J. (2013) Generalised powerlocales via relation lifting.

Mathematical Structures in Computer Science, Vol. 23 (pp 142-199)

Article | https://doi.org/10.1017/S0960129512000229 | UvA-DARE

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. (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)