Venema, Y. (1998). Points,lines and diamonds: a two sorted modal logic for projective planes. (ML-98; No. 04). WINS (oud WINS).
Dekker, P. J. E., Stokhof, M. J. B., & Venema, Y. (1997). Proceedings of the Eleventh Amsterdam Colloquium. ILLC/UvA.
Blackburn, P., de Rijke, M., & Venema, Y. (1997). Relational methods in logic, language and information. In W. Kahl, C. Brink, & G. Schmidt (Eds.), Relational Methods in Computer Science (pp. 211-225). Springer-Verlag.
Ponse, A., de Rijke, M., & Venema, Y. (1995). Preface. In A. Ponse, M. de Rijke, & Y. Venema (Eds.), Modal logic and process algebra: a bisimulation perspective (pp. vii-xi). (CSLI lecture notes; No. 53). CSLI Publications.
Blackburn, P., de Rijke, M., & Venema, Y. (1995). Relational methods in logic, language and information. (Report; No. CS-R9561). CWI.
Ponse, A., de Rijke, M., & Venema, Y. (1995). Modal Logic and Process Algebra. (CSLI Lecture Notes; No. 53). CSLI Publications.
de Rijke, M., & Venema, Y. (1995). Sahlqvist's Theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica, 54, 61-78.
Blackburn, P., de Rijke, M., & Venema, Y. (1994). The algebra of modal logic. (Report; No. CS-R9463). CWI.
de Rijke, M., & Venema, Y. (1991). Sahlqvist's theorem for Boolean algebras with operators. (Report; No. ML-91-10). Institute for Language, Logic and Information, University of Amsterdam.
