HyLoMOL: Hybrid Logic Meets Other Logics

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

Project: Research

Description

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).
StatusFinished
Effective start/end date01/01/200531/12/2008

Funding

  • The Danish Natural Science Research Council