Science Fair Project Encyclopedia
Johannes Franciscus Abraham Karel van Benthem
Johannes Franciscus Abraham Karel (Johan) van Benthem (1949-) is a professor of logic at the University of Amsterdam (in the ILLC) and Stanford University (in the CSLI ). Before moving to Amsterdam, he was professor of logic at the University of Groningen.
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 classical logic that is closed under bisimulation.
Van Benthem has also been active in the field of categorial grammar.
Publications
- Logic in action, North Holland, 1991
- Handbook of Logic and Language, ed. with Alice ter Meulen , Elsevier/MIT Press, 1997
External links
Last updated: 05-29-2005 21:53:18
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details