Searchable List of Research Output

Filter Publications
  • Veltman, F.J.M.M. (1986) Data semantics and the pragmatics of indicative conditionals.
    In Traugott, E.C. (Eds.), On conditionals : (Symposium on conditionals and cognitive processes, Stanford University, Dec. 1983) (pp 147-167). Cambridge University Press.
    Conference contribution | UvA-DARE
  • Veltman, F.J.M.M. (1988) Comments on 'Probability Semantics' by Gerhard Paass.
    In Smets, Ph. Mamdani, G. (Eds.), Non-standard logics for automated reasoning (pp 244-247). Academic Press.
    Conference contribution | UvA-DARE
  • Veltman, F.J.M.M. (1988) Comments on 'An automated logic for elementary changes' by Luis Fariñas.
    In Smets, Ph. Mamdani, G. (Eds.), Non-standard logics for automated reasoning (pp 78-80). Academic Press.
    Conference contribution | UvA-DARE
  • Veltman, F.J.M.M. (1989) Regels en uitzonderingen.
    In Parret, H. (Eds.), In alle redelijkheid : standpunten over het denken, spreken en handelen van de redelijke mens (pp 201-222). Boom.
    Chapter | UvA-DARE
  • Veltman, F.J.M.M. (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.J.M.M. (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.J.M.M. (1993) Wetenschap gedwongen tot onmogelijke beloften.
    Automatisering gids, Vol. 27 (pp 7)
    Article | UvA-DARE
  • Veltman, F.J.M.M. (1997) Defaults in update semantics.
    Journal of Philosophical Logic, Vol. 25 (pp 221-261)
    Article | UvA-DARE
  • Veltman, F.J.M.M. (1998) Defaults in update semantics.
    Philosophers's Annual (pp 237-276)
    Article | UvA-DARE
  • Veltman, F.J.M.M. (1998) Een zogenaamde denkfout.
    Algemeen Nederlands Tijdschrift voor Wijsbegeerte, Vol. 90 (pp 11-25)
    Article | UvA-DARE
  • Veltman, F.J.M.M. (2002) Logica in historisch perspectief.
    Unknown Publisher.
    Book | UvA-DARE
  • Veltman, F.J.M.M. (2002) Syllabus logische analyse.
    Universiteit van Amsterdam.
    Book | UvA-DARE
  • Veltman, F.J.M.M. (2004) Making Counterfactual assumptions.
    ILLC Prebublications. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Veltman, F.J.M.M. (2005) Making counterfactual assumptions.
    Journal of Semantics, Vol. 22 (pp 159-180)
    Article | 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. (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

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