- 2005
- Automated Reasoning (with David Ahn)
- 2004
- Hybrid Logics (with Massimo Franceschet)
- 2003
- Core Logic (with Johan van Benthem)
- 2002
- Redeneren en Programmeren (with Maarten Marx)
- Capita Selecta Semantics and Pragmatics (with Robert van Rooy)
- 2001
- Redeneren en Programmeren (with Maarten Marx)
- 2000
- Redeneren en Programmeren (with Maarten Marx)
- Logische technieken in AI (with Mehdi Dastani)
| Publications | Teaching | Personal | Links |
| Last modified: Wednesday, 09-Nov-2005 15:54:34 MET | Validate HTML Validate CSS |