uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • van Benthem, J.F.A.K. (2000) Information Transfer Across Chu Spaces.
    Logic Journal of the IGPL, Vol. 8 (pp 719-731)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2000) Linguistic Grammar as Dynamic Logic.
    In Dynamic Perspectives in Logic and Linguistics (pp 7-17) (Logic and Linguistics). Bulzoni.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2000) Explaining language by economic behaviour.
    In @ (pp 93-107). Cambridge University Press.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2000) Instroom.
    Nieuw Archief voor Wiskunde, Vol. 5/1 (pp 263)
  • van Benthem, J.F.A.K. (2000) Logic and Games, the third encounter.
    Technical Report. Institute for Logic Language and Computation.
    Report | UvA-DARE
  • van Benthem, J.F.A.K. (2000) Reasoning in Reverse.
    In Abduction and Induction, their Relation and Integration (pp 9-11). Kluwer.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2000) Information Transfer across Chu Spaces.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. (2001) Logics for information update.
    In van Benthem, Johan (Eds.), Proceedings TARK VIII (pp 51-88). Morgan Kaufmann.
    Conference contribution | UvA-DARE
  • van Benthem, J.F.A.K. (2001) Preface of the general chair.
    In Bettini, C. Montanari, A. (Eds.), Proceedings TIME 2001 (pp ix). IEEE Computer Society.
    Conference contribution | UvA-DARE
  • van Benthem, J.F.A.K. (2001) Games in dynamic epistemic logic.
    Bulletin of Economic Research, Vol. 53 (pp 219-248)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2001) Correspondence Theory.
    In Handbook of Philosophical Logic (second revised edition) (pp 325-408). Kluwer.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2001) Modal logic in two gestalts.
    In Wansing, H. Zakharyashev, M. de Rijke, M. (Eds.), Advances in Modal Logic Modal logic, vol. II (pp 73-100). CSLI Publications.
    Chapter | UvA-DARE
  • 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
1 ... 257 258 259 260 261 262 263 264 265 ... 311

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