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

• Van Benthem's personal homepage