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.

Vendeville, B., Bakker, J., Azarbonyad, Hosein, Ermakova, L., Kamps, J. (2025) Overview of the CLEF 2025 SimpleText Task 2: Identify and Avoid Hallucination.

In Faggioli, G. Ferro, N. Rosso, P. Spina, D. (Eds.), Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2025): Madrid, Spain, 9-12 September 2025 (pp 4186-4204) (CEUR Workshop Proceedings, Vol. 4038). CEUR-WS.

Vendeville, B., Ermakova, L., De Loor, Pierre, Kamps, J. (2025) UBOnlp Report at the SimpleText lab of CLEF 2025.

In Faggioli, G. Ferro, N. Rosso, P. Spina, D. (Eds.), Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2025): Madrid, Spain, 9-12 September 2025 (pp 4363-4375) (CEUR Workshop Proceedings, Vol. 4038). CEUR-WS.

Vendeville, B., Ermakova, L., De Loor, Pierre, Kamps, J. (2025) MIRAGE: A Metrics lIbrary for Rating hAllucinations in Generated tExt.

In CIKM'25: Proceedings of the 34th ACM International Conference on Information and Knowledge Management : November 10-14, 2025, Seoul, Republic of Korea (pp 6539-6543). Association for Computing Machinery.

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