Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • Venema, Y. (1998). Points,lines and diamonds: a two sorted modal logic for projective planes. (ML-98; No. 04). WINS (oud WINS).
  • Venema, Y. (1998). Rectangular Games. Journal of Symbolic Logic, 63, 1549-1564. https://doi.org/10.2307/2586666
  • 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.
  • 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. (1995). Relational methods in logic, language and information. (Report; No. CS-R9561). CWI.
  • Open Access
    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.
  • 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.
  • Ponse, A., de Rijke, M., & Venema, Y. (1995). Modal Logic and Process Algebra. (CSLI Lecture Notes; No. 53). CSLI Publications.
  • 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.
Page 13 of 13