|
Johan van Benthem
Professor of Philosophy
Office: Institute for Logic, Language & Computation (ILLC)
Mailing:
Univ. of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, NETHERLANDS
Phone: 31 20 525 6051
Fax: 31 20 525 5206
Email: johan@csli.stanford.edu
|
|
|
Education History
|
B.A. Physics, Amsterdam, 1969
M.A. Philosophy, Amsterdam, 1972
Ph.D. Mathematics, Amsterdam, 1976
|
|
|
Areas of Interest
|
Logic and its applications to language and information. Special interests: modal logic, dynamic logic, logical semantics
|
|
|
Selected Bibliography
|
Books:
- Language in Action North-Holland, Amsterdam, (MIT Press, 1995)
- Exploring Logical Dynamics (CSLI Publications, Stanford,1996)
- Co-editor, Handbook of Logic and Language (Elsevier, Amsterdam, 1997)
Recent articles:
- 'Interpolation, Preservation, and Pebble Games'
Journal of Symbolic Logic 64:2, 1999, 881-903.
[With Jon Barwise.]
- 'Modal Foundations for Predicate Logic'
In Ewa Orlowska, ed., "Logic at Work, To the Memory
of Elena Rasiowa", 1999, Physica Verlag, Heidelberg, 39-54.
- 'Wider Still and Wider: resetting the bounds of logic'
in A. Varzi, ed., "The European Review of Philosophy",
1999, CSLI Publications, Stanford, 21-44.
- 'Modal Logics and Bounded Fragments of Predicate Logic',
with Hajnal AndrŽka & Istvan NŽmeti, in Journal of Philosophical
Logic 27:3, 1998, 217-274.
|
|
|
Recent Courses
|
- Categorial Grammar and Type Theory
- Intensional Logic
- Dynamic Logic and Information Flow
- Logic and Game Theory
- Update Logics for Communication
|
|
|
Links and Online Papers
|
Amsterdam homepage
Spinoza Award Project 'Logic in Action'
|
© 2006 The Board of Trustees of The Leland Stanford Junior University. All Rights Reserved.
|
