uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Venema, Y. (1998) Points,lines and diamonds: a two sorted modal logic for projective planes.
    ML-98. WINS (oud WINS).
    Report | UvA-DARE
  • Venema, Y. (1998) Temporal logic.
    LP-98. WINS (oud WINS).
    Report | UvA-DARE
  • Venema, Y. (1998) A Modal logic of information change.
    In Gilboa, I. (Eds.), Proc. of the 7th on rationality and knowledge (pp 125-131). Morgan Kauffmann.
    Chapter | UvA-DARE
  • Venema, Y. (1998) The preservation theorem of Sahlqvist, equations in Completions of Boolean Algebras with operators.
    ML. WINS (oud WINS).
    Report | UvA-DARE
  • Venema, Y. (1998) Q-algebras.
    Algebra Universalis, Vol. 40 (pp 19-49)
  • Venema, Y. (1998) Undecidable theories of Lyndon Algebras.
    ML. WINS (oud WINS).
    Report | UvA-DARE
  • Venema, Y. (1999) Modal definability, purely modal.
    Amsterdam University Press.
    Digital or Visual Products | UvA-DARE
  • Venema, Y. (1999) Points, lines and diamonds: a two-sorted modal logic for projective planes.
    Journal of Logic and Computation, Vol. 9 (pp 601-621)
  • Venema, Y. (2000) Ultrafilter unions: an exercise in modal definability.
    In Nepomuceno, A. Quesada, J.F. Salguero, F.J. (Eds.), Logic, Language and Information: Proceedings of the First Workshop on Logic and Language (pp 303-310)
    Conference contribution | UvA-DARE
  • Venema, Y. (2001) Canonical Pseudo-Correspondence.
    In Zakharyaschev, M. alii (Eds.), Advances in Modal Logic, Volume II (pp 421-430)
    Conference contribution | UvA-DARE
  • Venema, Y. (2001) Temporal logic.
    In Goble, L. (Eds.), The Blackwell Guide to Philosophical Logic (pp 259-281). Blackwell Publishers.
    Chapter | UvA-DARE
  • Venema, Y. (2002) Atomless varieties.
    Technical Report. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Venema, Y. (2002) Duals of subdirectly irreducible modal algebras.
    Technical Report. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Venema, Y. (2003) Atomless varieties.
    Journal of Symbolic Logic, Vol. 68 (pp 607-614)
  • Venema, Y. (2003) Representation of game algebras.
    Studia Logica, Vol. 75 (pp 239-257)
    Article | UvA-DARE
  • Venema, Y. (2004) Automata and Fixed Point Logic: a Coalgebraic Perspective.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Venema, Y. (2004) A dual characterization of subdirectly irreducible BAOs.
    Studia Logica, Vol. 77 (pp 105-115)
    Article | UvA-DARE
  • Venema, Y. (2004) Automata and fixed point logics for coalgebras.
    Electronic Notes in Theoretical Computer Science, Vol. 106 (pp 355-375)
    Article | UvA-DARE
  • Venema, Y. (2006) Algebras and Coalgebras.
    In van Benthem, J.F.A.K. Blackburn, P. Wolter, F. (Eds.), Handbook of Modal Logic (pp 331-426). Elsevier.
    Chapter | UvA-DARE
  • Venema, Y. (2006) Automata and Fixed Point Logics: a Coalgebraic Perspective.
    Information and Computation, Vol. 204 (pp 637-678)
1 ... 289 290 291 292 293 294 295 296 297 ... 312

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact