Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • Policrity, A., Montanari, A., & Venema, Y. (1999). Temporal Logic. special issue of the Journal of the IGPL. (Volume 7; No. Issue 1). Oxford University Press.
  • Gerbrandy, J. D., Marx, M. J., de Rijke, M., & Venema, Y. (1999). JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers - Amsterdam University Press.
  • Givant, S., & Venema, Y. (1999). The preservation of Sahlqvist equations in completions of Boolean algebras with operators. Algebra Universalis, 41, 47-84. https://doi.org/10.1007/s000120050100
  • Venema, Y. (1999). Points, lines and diamonds: a two-sorted modal logic for projective planes. Journal of Logic and Computation, 9, 601-621. https://doi.org/10.1093/logcom/9.5.601
  • Venema, Y. (1998). A Modal logic of information change. In I. Gilboa (Ed.), 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; No. 98-05). WINS (oud WINS).
  • Venema, Y. (1998). Q-algebras. Algebra Universalis, 40, 19-49. https://doi.org/10.1007/s000120050079
  • Venema, Y. (1998). Undecidable theories of Lyndon Algebras. (ML; No. 98-14). WINS (oud WINS).
  • 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).
Page 12 of 13