Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 132
Number of items: 132
  • Venema, Y. (2003). Atomless varieties. Journal of Symbolic Logic, 68, 607-614. https://doi.org/10.2178/jsl/1052669066
  • Venema, Y. (2003). Representation of game algebras. Studia Logica, 75, 239-257.
  • Venema, Y. (2001). Canonical Pseudo-Correspondence. In M. Zakharyaschev, & alii (Eds.), Advances in Modal Logic, Volume II (pp. 421-430)
  • 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
  • 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.
  • Open Access
    Hoogland, E. (2001). Definability and Interpolation: Model-theoretic investigations. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
Page 11 of 14