![](/sites/default/files/styles/headshot_1x/public/images/headshots/headshot_61999.jpg.webp?itok=fkP-WMVF)
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