NIAS-KNAW

Ga direct naar de inhoud
Ga direct naar de site navigatie
Ga direct naar zoeken

Eijck, D.J.N. van

Pagina-navigatie:

Jan van Eijck

Jan van Eijck, born in Gilze-Rijen, the Netherlands, in 1951. Senior Researcher at CWI (Centre for Mathematics and Computer Science), Amsterdam and Professor of Computational Linguistics at the Research Institute for Language and Speech (Uil-OTS), Utrecht.

Fellow (1 September 2006 - 31 January 2007)

GAMES, ACTION, AND SOCIAL SOFTWARE

The main topics of my NIAS research were (i) exploring connections between the logic of knowledge and logic of perception, (ii) development of a theory of agency and causality, with causal links modelled as global constraints on how states of affairs can evolve, (iii) establishing links between communication protocol verification and epistemic logic, with communication protocols taken in the sense of computer science, (iv) work on dynamic epistemic modelling and its implementation in a computer program DEMO, (v) theory of update actions ('When do two communicative actions have the same update effects in every possible situation?'), and (vi), slightly out of focus: formal language theory (development of the framework of sequential indexed grammars).

 



Ga terug naar de bovenkant van deze pagina
Ga terug naar de inhoud
Ga terug naar de site navigatie
Ga terug naar zoeken