KNAW

Prof.dr. J.F.A.K. van Benthem
Person

Prof.dr. J.F.A.K. van Benthem

Expertise Modal and dynamic logic; Logical semantics; Applications of logic in linguistics; Computer science and cognitive science
Expertise (NL) Modale en dynamische logica; Logische semantiek; Toepassingen van logica in taalkunde, informatica en cognitiewetenschap
Digital Author ID info:eu-repo/dai/nl/067852645
KNAW member Humanities and Social Sciences Division
Addition Bonsall visiting chair of humanities; Senior researcher Centre for the Study of Language and Information, Stanford University
Grants/prizes NWO - Spinozapremie 1996

Active as

University professor
Organisation University of Amsterdam (UvA)
Chair (EN) Mathematical logic and its applications
Chair (NL) Logica en haar toepassingen, in het bijzonder in de Informatie- en Cognitiewetenschappen
Phone +31-20-5255807
Email johan -at- science. uva. nl
URL http://staff.science.uva.nl/~johan/

Publications

Current research

(the most recent research is at the top)
Project leader Theoretical and Algorithmic Complexity Treshold in Computer Games

Completed research projects

Classification


Go to page top
Go back to contents
Go back to site navigation