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



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).
Effektiv start/slut dato01/01/200531/12/2008


  • The Danish Natural Science Research Council