uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • van Benthem, J.F.A.K. (2001) Interdisciplinariteit en monogamie.
    newsletter Instituut I2O, Vol. February
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2002) De multidisciplinaire universiteit: losse gedachten van een zwerver.
    In de Reuver, B. de Klerk, R. (Eds.), Feestbundel Karel van Dam (pp 65-71). SCO-Kohnstamm Instituut.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2002) Science and Society in Flux.
    In Tindemans, P.A.J. Verrijn-Stuart, A.A. Visser, R.P.W. (Eds.), The Future of the Sciences and Humanities (pp 63-90). Amsterdam University Press.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2002) Logic in action, 5 jaar later.
    Algemeen Nederlands Tijdschrift voor Wijsbegeerte, Vol. 2 (pp 146-150)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2002) Invariance and Definability: two faces of logical constants.
    In Reflections on the Foundations of Mathematics. Essays in Honor of Sol Feferman (pp 426-446)
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2002) Chapter Modal Logic.
    In A Companion to Philosophical Logic (pp 391-409). Blackwell.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2002) Action and Procedure in Reasoning.
    In The Dynamics of Judicial Proof (pp 243-259). Physica Verlag.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2002) Extensive games as process models.
    Journal of Logic, Language and Information, Vol. 11 (pp 289-313)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2002) Mathematical Logic and Natural Language.
    In Löwe, B. Malzkorn, W. Räsch, T. (Eds.), Foundations of the Formal Sciences II (pp 25-38). Kluwer Academic Publishers.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Rational Dynamics and Epistemic in Logic Games.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) One is a Lonely Number: on the Logic of Communication.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Categorial Grammar at a Cross-Roads.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Conditional Probability and Update Logic.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Structural Properties of Dynamic Reasoning.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2003) Is There Still Logic in Bolzano's Key ?.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • 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
1 ... 258 259 260 261 262 263 264 265 266 ... 306

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