uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • van Benthem, J.F.A.K. (2004) De kunst van het vergaderen.
    In van der Hoek, W. (Eds.), Liber Amicroum 'John-Jules Charles Meijer 50' (pp 5-7). Onderzoekschool SIKS.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2004) Probabilistic Features in Logic Games.
    In Kolak, D. Symons, J. (Eds.), Quantifiers, Questions, and Quantum Physics (pp 189-195). Springer Verlag.
    Chapter | 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
  • 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. (2005) L'Art et Loggique de la Conversation.
    Pour la Science (pp 68-73)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2005) Minimal Predicates, Fixed-Points and Definability.
    Journal of Symbolic Logic, Vol. 70 (pp 696-712)
  • van Benthem, J.F.A.K. (2005) Guards, Bounds and Generalized Semantics.
    Journal of Logic, Language and Information, Vol. 14 (pp 263-279)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2005) Cognition as Interaction.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2005) An Essay on Sabotage and Obstruction.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2005) Epistemic Logic and Epistemology, the state of their affairs.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2005) Logic in Philosophy.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2005) Where is Logic Going, and Should It?.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2005) An Essay on Sabotage and Obstruction.
    In Hutter, D. (Eds.), Mechanizing Mathematical Reasoning, Essays in Honor of Jörg Siekmann on the Occasion of his 69th Birthday (pp 268-276). Springer Verlag.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2005) A Farewell to Loneliness: dynamic trends in logic-to-day.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2005) De Kunst van het Kennis Maken: De wetenschap van kennis en informatie.
    BLIND : Interdisciplinair Tijdschrift, Vol. 3
  • van Benthem, J.F.A.K. (2005) Echte versus Virtuele Realiteiten: de speelse logica van kaarten en vergaderen.
    BRES Planète, Vol. 232 (pp 24-28)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2005) Formal Methods in Philosophy.
    In Hendricks, V Symons, J. (Eds.), Formal Philosophy. Automatic Press.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2005) Open Problems in Logic and Games.
    In Artemov, S. Barringer, H. d' Avila Garcez, A. Lamb, L. Woods, J. (Eds.), Essays in Honour of Dov Gabbay (pp 229-264). King's College Publications.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2005) Open Problems in Logical Dynamics.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
1 ... 273 274 275 276 277 278 279 280 281 ... 326

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