Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 132
Number of items: 132
  • Venema, Y. (1998). Rectangular Games. Journal of Symbolic Logic, 63, 1549-1564. https://doi.org/10.2307/2586666
  • Venema, Y. (1998). Specification of dynamics for knowledge based systems. In B. Freitag (Ed.), Transactions and change in logic databases, Lecture notes in computer science (pp. 37-68). Springer.
  • Venema, Y. (1998). Canonical Pseudo-correspondence. (ML-98; No. 13). WINS (oud WINS).
  • 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.
  • 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.
Page 13 of 14