-
van Benthem, J.F.A.K. (1994) General Dynamic Logic.In Gabbay, D. (Eds.), What is a Logical System? (pp 107-139). Oxford University Press.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1994) A New World Underneath Standard Logic.In Schrijvers, L. Apt, K. Temme, N. (Eds.), From Universal Morphisms to Megabytes: A Baayen Space Odyssey (pp 179-186). CWI.Chapter | UvA-DAREvan 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-DAREvan 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.Chapter | UvA-DAREvan 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.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1995) Modal Foundations for Predicate Logic.Technical Report. onbekend (FdL).Report | UvA-DAREvan 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.Chapter | UvA-DAREvan 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.Chapter | UvA-DAREvan 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.Chapter | UvA-DAREvan 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.Chapter | UvA-DAREvan 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.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1996) Exploring Logical Dynamics.Studies in Logic, Language and Information. CSLI Publications and Stanford / Cambridge University Press.Book | UvA-DAREvan 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.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1996) Logica in Beweging.In Lezingenboekje Uitreiking Spinoza Premie (pp 33-42). NWO.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1996) Wat is Mis met de Filosofie?.Ergo Cogito, Vol. 5 (pp 27-36)Article | UvA-DAREvan 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.Chapter | UvA-DAREvan Benthem, J.F.A.K. (1997) Dynamic bits and pieces.Research Report. onbekend (FdL).Report | UvA-DAREvan Benthem, J.F.A.K. (1997) Modality, bisimulation and interpolation in infinitary logic.Research Report. onbekend (FdL).Report | UvA-DAREvan Benthem, J.F.A.K. (1997) Wider still and wider: resetting the bounds of logic.Research Report. onbekend (FdL).Report | UvA-DAREvan Benthem, J.F.A.K. (1997) The range of modal logic.Research Report. onbekend (FdL).Report | UvA-DARE
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 illc at uva.nl