
Professor Dr.
Johan van Benthem
University of Amsterdam
Logician; Educator
Area
Humanities and Arts
Specialty
Philosophy
Elected
2015
International Honorary Member
Main technical interests: mathematical modal logic, temporal logic, logic and generalized quantifiers, categorial grammars and substructural proof theory, dynamic logics of information, computation, and interaction. Interface interests: logic and philosophy, logic and linguistics, logic and computer science, logic and cognitive science. Focus of recent research: logic and information dynamics, logic and game theory, history of logic in China.
Last Updated