Projektdetaljer
Beskrivelse
The HYLOCORE project is a continuation of the highly successful project HyLoMOL (2005--2008). The goal of HYLOCORE is twofold:
- To explore and devise formal proof procedures--reasoning methods--for hybrid logics and their extensions, continuing the research and international research collaboration initiated in the project HyLoMOL.
- To strengthen Danish research in reasoning methods for hybrid logic and other extended modal logics. This is a growing area of foundational and increasingly computational importance.
- To explore and devise formal proof procedures--reasoning methods--for hybrid logics and their extensions, continuing the research and international research collaboration initiated in the project HyLoMOL.
- To strengthen Danish research in reasoning methods for hybrid logic and other extended modal logics. This is a growing area of foundational and increasingly computational importance.
Status | Afsluttet |
---|---|
Effektiv start/slut dato | 01/01/2009 → 31/12/2013 |
Samarbejdspartnere
- Roskilde Universitet (leder)
- Danmarks Tekniske Universitet (Projektpartner)
- INRIA (Projektpartner)
Finansiering
- The Danish Natural Science Research Council