prof. dr. J.F.A.K. van Benthem, 1949
professor, doctor
| Name | J.F.A.K. van Benthem |
|---|---|
| Alternative name(s) | L.T.F. Gamut |
| Full name | Johannes Franciscus Abraham Karel |
| First name | Johan |
| Gender | male |
| Born | 1949, Rijswijk, Nederland |
| Titles |
|
| Publications | [UvA-catalogus] |
| Link to this person | https://albumacademicum.uva.nl/en/id/id002501 |
Education
| Education | Wiskunde |
|---|---|
| Degree |
doctoraat wiskunde en natuurwetenschappen
Feb. 2, 1977
|
| Exam level | promotie |
| Institution | Faculteit der Wiskunde en Natuurwetenschappen
Universiteit van Amsterdam |
| Thesis | Model correspondence theory |
| Keyword | logica, argumentatieleer, modale logica, correspondentietheorie |
| Supervisor(s) |
|
| Propositions | 11 |
| Additional information | Doctoraalexamen Wijsbegeerte - UvA, 25-10-1972; Doctoraalexamen Wiskunde - UvA, 14-03-1973 |
Gewoon hoogleraar Mathematische logica Jan. 1, 1986 - Sept. 1, 2003
| Appointment | gewoon hoogleraar |
|---|---|
| As of | Jan. 1, 1986 |
| Chair | Mathematische logica |
| Inaugural lecture | Rekenen met taal
Dec. 2, 1986 |
| Institution | Faculteit der Wiskunde en Natuurwetenschappen; Subfaculteit Wiskunde
Faculteit der Wiskunde en Informatica Faculteit der Wiskunde, Informatica, Natuur- en Sterrenkunde Faculteit der Natuurwetenschappen, Wiskunde en Informatica Universiteit van Amsterdam |
| End | Sept. 1, 2003 |
| Discipline | mathematics: general, logic, set theory |
Gewoon hoogleraar Mathematische logica Jan. 1, 1986 - Sept. 1, 2003
| Appointment | gewoon hoogleraar |
|---|---|
| As of | Jan. 1, 1986 |
| Chair | Mathematische logica |
| Institution | Centrale Interfaculteit
Faculteit der Wijsbegeerte Faculteit der Geesteswetenschappen; Institute for Logic, Language and Computation (ILLC) Universiteit van Amsterdam |
| End | Sept. 1, 2003 |
| Discipline | mathematics: general, logic, set theory |
Gewoon hoogleraar Logica en haar toepassingen Sept. 1, 2003 - June 1, 2014
| Appointment | gewoon hoogleraar |
|---|---|
| Special position | universiteitshoogleraar |
| As of | Sept. 1, 2003 |
| Chair | Logica en haar toepassingen |
| Institution |
Universiteit van Amsterdam |
| End | June 1, 2014 |
| Reason | emeritaat |
| Discipline | mathematics: general, logic, set theory |