HyLoMOL: Hybrid Logic Meets Other Logics

  • Braüner, Torben (Anden)
  • Bolander, Thomas (Projektdeltager)
  • Villadsen, Jørgen (Projektdeltager)
  • Blackburn, Patrick (Projektdeltager)
  • de Paiva, Valeria (Projektdeltager)

Projekter: ProjektForskning

Projektdetaljer

Beskrivelse

The HyLoMOL project is initiated by Thomas Bolander (DTU, Denmark), Torben Braüner (RUC, Denmark), and Jørgen Villadsen (DTU, Denmark). Given that hybrid logic has developed into a separate research area playing a significant role in a number of workshops and conferences on modal logic and also having its own series of workshops, the initiators of HyLoMOL find that it is time to devote more attention to possible interaction between hybrid logic and other logical fields. A number of logical fields are under consideration, in particular constructive/intuitionistic logic and paraconsistent logic as well as first-order and higher-order logic. HyLoMOL collaborates with Patrick Blackburn (INRIA, France) and Valeria de Paiva (PARC, USA).
StatusAfsluttet
Effektiv start/slut dato01/01/200531/12/2008

Samarbejdspartnere

  • Roskilde Universitet (leder)
  • Danmarks Tekniske Universitet (Projektpartner)
  • INRIA (Projektpartner)
  • Xerox Palo Alto Research Centre (Projektpartner)

Finansiering

  • The Danish Natural Science Research Council