KNAW

Back to search results
Prof.dr. J.F.A.K. van Benthem Person

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

Pagina-navigatie:


Update Persondata


Export page
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

(the most recent at the top)
Exploring a theory of play
Belief update as social choice
Logic at the crossroads: proof, computation and agency games, norms and reasons
Games, norms and reasons: logic at the crossroads
Logic in a Social Setting
All publications..

Current research

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

Completed research projects

(the most recent research is at the top)
Project leader GLoRiClass: Games in Logic Reaching Out for Classical Game Theory
Supervisor Branches of imperfect information: logic, games, and computation
Project leader Game theory and communication
Project leader Constructive and intensional logic
Supervisor The knowledge and rationality assumptions of play theoretical solution concepts

Classification

D11100 Logic, set theory and arithmetic

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