uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • van Benthem, J.F.A.K. (2003) The Epistemic Logic of IF Games.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) What Logic Games are Trying to Tell Us.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) A Note on Modeling Theories.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) The Categorial Fine-Structure of Natural Language.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Logic and the Dynamics of Information.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) What One May Come to Know.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Guards, Bounds and Generalized Semantics.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Wat drijft informatica onderzoekers? NWO booklet National ICT Congress,.
    NWO.
    Book | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Het abc van communicatie.
    KNAW, Afdeling Natuurkunde.
    Report | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Categorial grammar at a Cross-Roads.
    In Resource-Sensitivity, Binding, and Anaphora (pp 3-21). Kluwer Academic Publishers.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Fifty years: Changes and constants in logic.
    In Hendricks, V. Malinowski, J. (Eds.), 50 Years of Studia Logica (pp 35-56). Kluwer Academic Publishers.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Is there still Logic in Bolzano's Key?.
    In Bernard Bolzanos Leistungen in Logik, Mathematik und Physik (pp 11-34). Academia Verlag.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Structural properties of dynamic reasoning.
    In Peregrin, J. (Eds.), Meaning, the DynamicTurn (pp 15-31). Elsevier.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Conditional probability meets update logic.
    Journal of Logic, Language and Information, Vol. 12 (pp 409-421)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Logic and the dynamics of information.
    Minds and Machines, Vol. 13 (pp 503-519)
  • van Benthem, J.F.A.K. (2003) Logic games are complete for game logics.
    Studia Logica, Vol. 73 (pp 183-203)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2003) De kunst van het kennis maken.
    In De kunst van het kennis maken|Enthousiasme is besmettelijk|Met het oog op overmorgen. Amsterdam University Press.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2004) A Mini-Guide to Logic in Action.
    Tech Report ILLC PP. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2004) Reidansende Eiwitten.
    Boekman, Vol. 59 (pp 165-166)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2004) Minimal Predicates, Fixed Points, and Definability.
    Tech Report ILLC PP. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
1 ... 284 285 286 287 288 289 290 291 292 ... 340

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