HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods

  • Braüner, Torben (Projektdeltager)
  • Bolander, Thomas (Projektdeltager)
  • Goranko, Valentin (Projektdeltager)
  • Blackburn, Patrick (Projektdeltager)
  • Areces, Carlos (Projektdeltager)

Projekter: ProjektForskning

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.
StatusAfsluttet
Effektiv start/slut dato01/01/200931/12/2013

Finansiering

  • The Danish Natural Science Research Council