Netherlands Institute / University of Amsterdam / Sun Yat-Sen University / Simon Fraser University / STANFORD UNIVERSITY / Tsinghua University / University of Groningen / /
IndustryTerm
substructural proof systems / banking / /
Movie
One is a Lonely Number / /
MusicGroup
Ph.D. / /
Organization
Netherlands Institute for Advanced Studies NIAS / Institut International de Philosophie / Royal Dutch Academy of Arts / International Federation for Computational Logic / American Summer School / International Congress / Beth Foundation / Institute for Logic / Language and Computation / European Foundation of Logic / Language and Information / Visiting University / University of Amsterdam / Center for the Study of Language and Information / STANFORD UNIVERSITY / Program Committee / European Foundation for Logic / Language and Information FoLLI / Tsinghua University Beijing / Member Editorial Board / University of Groningen / Dutch Association of Logic / Simon Fraser University / Institute for Logic / Language and Computation ILLC / /
Person
Jan van Eijck / Philosophical Logic / Jon Barwise / Vienna Circle / VAN BENTHEM / Johannes Franciscus Abraham Karel Specialties / Barteld Kooi / Martin Löb / /
Position
Program Director / Professor of Humanities / supervisor / Editor-in-Chief / Professor of Philosophy / Editor / Senior Researcher / Professor / President / Program Chair / independent artist / Coordinating Editor / PROFESSOR / PURE AND APPLIED LOGIC / Treasurer / Nominating Editor / Area Chair / Managing Editor / chair / VicePresident / General Program Chair / General Chair / PROFESSOR / PHILOSOPHY / Founding Director / /
1 Entry for International Directory of Logicians, 2008 VAN BENTHEM, Johannes Franciscus Abraham Karel Specialties: Modal logic, epistemic logic, dynamic logic, logics of time and space, semantics of natural language: gen