Sources
Help build the largest human-edited directory on the web.
Submit a site - Become an editor
Wikipedia. Licensed under the GNU Free Documentation License.
Are you an expert in this subject? Join the discussion and share your knowledge at Wikipedia.org.
Johan van Benthem (logician)
From Wikipedia, the free encyclopedia
Johannes Franciscus Abraham Karel (Johan) van Benthem (born June 12, 1949, Rijswijk) is a University Professor (universiteitshoogleraar) of logic at the Universiteit van Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI).
He studied physics (B.Sc. 1969), philosophy (M.A. 1972) and mathematics (M.Sc. 1973) at the Universiteit van Amsterdam and received a PhD from the same university under supervision of M.H. Löb in 1977. Before becoming University Professor in 2003, he held appointments at the Universiteit van Amsterdam (1973-1977), at the University of Groningen (1977-1986, and as a professor at the Universiteit van Amsterdam (1986-2003).
Van Benthem is known for his research in the area of modal logic. This research has resulted in Van Benthem's Theorem, which states that modal logic is the fragment of first-order logic that is closed under bisimulation.
He has also been active in the fields of philosophy of science, logical structures in natural language (generalized quantifiers, categorial grammar, substructural proof theory), dynamic logic and update logic and applications of logic to game theory as well as applications of game theory to logic.
- Logic in action, North Holland, 1991
- Handbook of Logic and Language, ed. with Alice ter Meulen, Elsevier/MIT Press, 1997
 |
This biographical article about a Dutch academic is a stub. You can help by expanding it. |
 |
This article about a European mathematician is a stub. You can help Wikipedia by expanding it. |
