uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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
  • 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
1 ... 286 287 288 289 290 291 292 293 294 ... 309

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