van Benthem, J.F.A.K. (1994) Logica in Veelvoud.

RADAR (pp 364-373)

Meeting Abstract | UvA-DARE

van Benthem, J.F.A.K. (1994) Dynamic Arrow Logic.

In Visser, A. van Eyck, J. (Eds.), Logic and Information Flow (pp 15-29). MIT Press.

van Benthem, J.F.A.K. (1994) The Landscape of Deductio.

In Schroder-Heister, P. Dosen, K. (Eds.), Substructural Logics (pp 357-376). Clarendon Press.

van Benthem, J.F.A.K. (1995) Quantifiers in the World of Types.

In van Eyck, J. van der Does, J. (Eds.), Quantifiers, Logic Language, CSLI Lecture Notes (pp 45-60). Cambridge University Press.

van Benthem, J.F.A.K. (1995) Back and Forth Between Modal Logic and Classical Logic.

Logic journal of the IGPL, Vol. 3 (pp 685-720)

Article | UvA-DARE

van Benthem, J.F.A.K. (1995) Modal Foundations for Predicate Logic.

Technical Report. onbekend (FdL).

Report | UvA-DARE

van Benthem, J.F.A.K. (1995) Temporal Logic.

In Hoggar, C. Gabbay, D. Robinson, J. (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4 (pp 241-350). University Press.

van Benthem, J.F.A.K. (1996) Quantifiers in the World of Types.

In van Eijck, J. van der Does, J. (Eds.), Quantifiers, Logic and Language (pp 47-62) (CSLI Lecture Notes). CSLI.

van Benthem, J.F.A.K. (1996) Complexity of Contents versus Complexity of Wrappings.

In Masuch, M. Marx, M. P'olos, L. (Eds.), Arrow Logic and Multimodal Logic (pp 203-219) (Studies in Logic, Language and Information). CSLI Publications, Stanford and Cambridge University Press.

van Benthem, J.F.A.K. (1996) Inference, Methodology and Semantics.

In Sadofsky, V. Bystrov, P. (Eds.), Philosophical Logic and Logical Philosophy, Essays in Honour of Vladimir Smirnov (pp 63-82). Kluwer Academic Publishers.

van Benthem, J.F.A.K. (1996) Bisimulation: The Never-Ending Story.

In A Dynamic and Quick Intellect. Liber Amicorum for Paul Vit'anyi (pp 23-27). CWI.

van Benthem, J.F.A.K. (1996) Logic and Argumentation Theory.

In Grootendorst, R. van Eemeren, F. van Benthem, J. Veltman, F. (Eds.), Logic And Theory of Argumentation (pp 27-41). Royal Netherlands Academy of Arts and Sciences.

van Benthem, J.F.A.K. (1996) Exploring Logical Dynamics.

Studies in Logic, Language and Information. CSLI Publications and Stanford / Cambridge University Press.

Book | UvA-DARE

van Benthem, J.F.A.K. (1996) Logica in Beweging.

In Lezingenboekje Uitreiking Spinoza Premie (pp 33-42). NWO.

van Benthem, J.F.A.K. (1996) Wat is Mis met de Filosofie?.

Ergo Cogito, Vol. 5 (pp 27-36)

Article | UvA-DARE

van Benthem, J.F.A.K. (1996) Logica in Beweging: de dynamiek van redeneren en betekenis.

In Handelingen KNAW, 6.1.96, Afdeling Letterkunde (pp 7). Royal Netherlands Academy of Arts and Sciences.

van Benthem, J.F.A.K. (1996) Modal Logic as a Theory of Information.

In Copeland, J. (Eds.), Logic and Reality. Essays on the Legacy of Arthur Prior (pp 135-168). Clarendon Press.

van Benthem, J.F.A.K. (1997) Wat cultuurbeleid van wetenschapsbeleid kan leren.

Boekmancahier, kwartaalschrift over kunst, onderzoek en beleid, Vol. 31 (pp 38-45)

Article | UvA-DARE

van Benthem, J.F.A.K. (1997) Cognitive actions in focus.

Journal of Logic, Language and Information, Vol. 6 (pp 119-121)

Article | UvA-DARE

van Benthem, J.F.A.K. (1997) Modal foundations for predicate logic.

Bulletin of the IGPL, Vol. 5 (pp 119-121)

Article | UvA-DARE