uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Veltman, F. (1990) Defaults in update semantics I.
    In Kamp, H. (Eds.), Conditionals, defaults and belief revision (pp 28-64) (DYANA report). Centre for Cognitive Science, University of Edinburgh.
    Chapter | UvA-DARE
  • Veltman, F. (1992) Dynamic interpretation of natural language-2: technical annex for ESPRIT basic research project 6852.
    DYANA-2 : dynamic interpretation of natural language : ESPRIT basic research project 6852. ILLC/Department of Philosophy, University of Amsterdam.
    Book (Editorship) | UvA-DARE
  • Veltman, F. (1993) Wetenschap gedwongen tot onmogelijke beloften.
    Automatisering gids, Vol. 27 (pp 7)
    Article | UvA-DARE
  • Veltman, F. (1997) Defaults in update semantics.
    Journal of Philosophical Logic, Vol. 25 (pp 221-261)
    Article | UvA-DARE
  • Veltman, F. (1998) Defaults in update semantics.
    Philosophers's Annual (pp 237-276)
    Article | UvA-DARE
  • Veltman, F. (1998) Een zogenaamde denkfout.
    Algemeen Nederlands Tijdschrift voor Wijsbegeerte, Vol. 90 (pp 11-25)
    Article | UvA-DARE
  • Veltman, F. (2002) Logica in historisch perspectief.
    Unknown Publisher.
    Book | UvA-DARE
  • Veltman, F. (2002) Syllabus logische analyse.
    Universiteit van Amsterdam.
    Book | UvA-DARE
  • Veltman, F. (2002) Het verschil tussen vaag en niet precies.
    Oratiereeks. Vossiuspers UvA.
    Inaugural speech | UvA-DARE
  • Veltman, F. (2004) Making Counterfactual assumptions.
    ILLC Prebublications. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Veltman, F. (2005) Making counterfactual assumptions.
    Journal of Semantics, Vol. 22 (pp 159-180)
    Article | UvA-DARE
  • Veltman, F. (2013) Learning to Live with Paradox.
    In van Benthem, J. Liu, F. (Eds.), Logic Across the University: Foundations and Applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013 (pp 333-337) (Studies in Logic, Vol. 47). College Publications.
    Conference contribution | UvA-DARE
  • Venema, Y., Vickers, S., Vosmaer, J. (2013) Generalised powerlocales via relation lifting.
    Mathematical Structures in Computer Science, Vol. 23 (pp 142-199)
  • Venema, Y., Vosmaer, J. (2014) Modal Logic and the Vietoris Functor.
    In Bezhanishvili, G. (Eds.), Leo Esakia on Duality in Modal and Intuitionistic Logics (pp 119-153) (Outstanding contributions to logic, Vol. 4). Springer.
  • Venema, Y. (1994) A modal logic for quantification and substitution.
    Logic journal of the IGPL, Vol. 2 (pp 31-45)
  • Venema, Y. (1994) Completeness through flatness in two-dimensional temporal logic.
    In Gabbay, Dov M. Ohlbach, Hans Jurgen (Eds.), Temporal Logic - 1st International Conference, ICTL 1994, Proceedings (pp 149-164) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 827 LNAI). Springer Verlag.
    Conference contribution | https://doi.org/10.1007/bfb0013986 | UvA-DARE
  • Venema, Y. (1997) Atom structures and Sahlqvist equations.
    Algebra Universalis, Vol. 38 (pp 185-199)
  • Venema, Y. (1998) Rectangular Games.
    Journal of Symbolic Logic, Vol. 63 (pp 1549-1564)
  • Venema, Y. (1998) Specification of dynamics for knowledge based systems.
    In Freitag, B. (Eds.), Transactions and change in logic databases, Lecture notes in computer science (pp 37-68). Springer.
    Chapter | UvA-DARE
  • Venema, Y. (1998) Canonical Pseudo-correspondence.
    ML-98. WINS (oud WINS).
    Report | UvA-DARE
1 ... 288 289 290 291 292 293 294 295 296 ... 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