Photo Kickoff Meeting 22 November 2004   Thomas Bolander - Torben Braüner - Jørgen Villadsen

Hybrid Logic Meets Other Logics (HyLoMOL)

Talk 19 December 2008 by Walter Carnielli at DTU Informatics - Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials

Talk 19 December 2008 by Walter Carnielli at Roskilde University - Combining Logics

Seminar 11 June 2008 at DTU Informatics
Talks by Torben Braüner, Valentin Goranko, Jens Ulrik Hansen, Michael R. Hansen and Thomas Bolander

Call for papers, special issue of Journal of Logic, Language and Information on hybrid logic.

Talk 18 July 2007 by Rajeev Goré at DTU Informatics

International Workshop on Hybrid Logic 2007 (HyLo 2007)

International Workshop on Hybrid Logic 2006 (HyLo 2006)

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).

HyLoMOL is funded by the Danish Natural Science Research Council (2005 - 2008) with Braüner as principal investigator.

Danish participants

Thomas Bolander (DTU)

Torben Braüner (RUC)

Jørgen Villadsen (DTU)

International collaborators

Patrick Blackburn (INRIA)

Valeria de Paiva (PARC)

Publications

More information

For more information on hybrid logic, see the Hybrid Logic Homepage and see also the slides from a talk given by Patrick Blackburn at Roskilde University.


The site http://hylomol.ruc.dk was last changed 21 December 2008 by Jørgen Villadsen