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. 1949 is a common year starting on Saturday. ... A professor is a senior teacher and researcher, usually in a college or university. ... Logic (from ancient Greek λόγος (logos), originally meaning the word, or what is spoken, but coming to mean thought or reason) is the study of arguments. ... From Athenaeum Illustre to University In January 1632 two internationally acclaimed scientists, Caspar Barlaeus and Gerardus Vossius, held their inaugural speech in the Athenaeum Illustre - the illustrious school - which had its seat in the 14th-century Agnietenkapel. ... The Institute for Logic, Language, and Computation (ILLC) is a research institute of the University of Amsterdam. ... For other meanings of Stanford, see Stanford (disambiguation). ... Municipality of Amsterdam Alternate meanings: See Amsterdam Amsterdam is the capital of the Netherlands. ... Front of the main building of the University of Groningen The University of Groningen (Dutch: Rijksuniversiteit Groningen or RUG) is a university in Groningen, Netherlands. ...

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. Modal logic, or (less commonly) intensional logic is the branch of logic that deals with sentences that are qualified by modalities such as can, could, might, may, must, possibly, and necessarily, and others. ... Logic (from ancient Greek λόγος (logos), meaning reason) is the study of arguments. ... In mathematics, the closure C(X) of an object X is defined to be the smallest object that both includes X as a subset and possesses some given property. ... In theoretical computer science a bisimulation is an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa. ...

Van Benthem has also been active in the field of categorial grammar. Categorial grammar is a term used for a family of formalisms in natural language syntax motivated by the principle of compositionality and organized according to the view that syntactic constituents should generally combine as functions or according to a function-argument relationship. ...

Publications

• Logic in action, North Holland, 1991
• Handbook of Logic and Language, ed. with Alice ter Meulen, Elsevier/MIT Press, 1997

1991 is a common year starting on Tuesday of the Gregorian calendar. ... Elsevier Science (short Elsevier) is one of the largest publishers of scientific literature. ... Categories: University book publishers | Stub ... 1997 is a common year starting on Wednesday of the Gregorian calendar, and was designated the International Year of the Reef. ...

External links

• Van Benthem's personal homepage (http://staff.science.uva.nl/~johan)