Code
01P06108
Duration
01 October 2008 → 01 October 2009
Funding
Regional and community funding: Special Research Fund
Promotor
Research disciplines
-
Humanities and the arts
- Theory and methodology of philosophy
Keywords
constructive Type-Theory
modal logic
philosophy of information
Project description