Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • van Eck, P. A. T., Engelfriet, J., Fensel, D., van Harmelen, F. A. H., Venema, Y., & Willems, M. (2001). A survey of languages for specifying dynamics: A knowledge enginee ring perspective. IEEE Transactions on Knowledge & Data Engineering, 13, 462-496. https://doi.org/10.1109/69.929903
  • Venema, Y. (2001). Temporal logic. In L. Goble (Ed.), The Blackwell Guide to Philosophical Logic (pp. 259-281). Blackwell Publishers.
  • Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. (Cambridge Tracts in Computer Science; No. 53). Cambridge University Press.
  • van Benthem, J., Dekker, P., van Eijck, J., de Rijke, M., & Venema, Y. (2001). Logic in Action. ILLC, University of Amsterdam.
  • Hodkinson, I., Mikulás, S., & Venema, Y. (2001). Axiomatizing complex algebras by games. Algebra Universalis, 46, 455-478. https://doi.org/10.1007/PL00000354
  • Stebletsova, V., & Venema, Y. (2001). Undecidable theories of lyndon algebras. Journal of Symbolic Logic, 66, 207-224. https://doi.org/10.2307/2694918
  • Venema, Y. (2001). Canonical Pseudo-Correspondence. In M. Zakharyaschev, & alii (Eds.), Advances in Modal Logic, Volume II (pp. 421-430)
  • Open Access
    Hoogland, E. (2001). Definability and Interpolation: Model-theoretic investigations. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Venema, Y. (2000). Ultrafilter unions: an exercise in modal definability. In A. Nepomuceno, J. F. Quesada, & F. J. Salguero (Eds.), Logic, Language and Information: Proceedings of the First Workshop on Logic and Language (pp. 303-310).
  • 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.
Page 11 of 13