Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • 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
  • 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.
  • Marx, M. J., & Venema, Y. (1999). A modal logic of relations. In E. Orlowska (Ed.), Logic at Work: Essays Dedicated to the Memory of Elena Rasiowa (pp. 124-167). Physica-Verlag.
  • 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). 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.
Page 12 of 13