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

• Jens Ulrik Hansen, Thomas Bolander and Torben Braüner. Many-Valued Hybrid Logic. Advances in Modal Logic, Volume 7. Editors Carlos Areces and Rob Goldblatt. Pages 111-132. College Publications, 2008.
• Torben Braüner. Adding Intensional Machinery to Hybrid Logic. Journal of Logic and Computation, 18:631-648, 2008.
• Torben Braüner. Why does the proof-theory of hybrid logic work so well? Journal of Applied Non-Classical Logics, 17:521-543, 2007.
• Thomas Bolander and Patrick Blackburn. Terminating Tableau Calculi for Hybrid Logics extending K. Workshop Proceedings of Methods for Modalities 5 (M4M). Pages 157-175. Ècole Normale Supèrieure de Cachan, France, 2007.
• Thomas Bolander and Rene Rydhof Hansen. Hybrid Logical Analyses of the Ambient Calculus. In Proceedings of WoLLIC'07, Lecture Notes in Computer Science, 4576: 83-100, 2007.
• Thomas Bolander and Patrick Blackburn. Termination for Hybrid Tableaus.. Journal of Logic and Computation, 17:517-554, 2007.
• Thomas Bolander, Jens Ulrik Hansen and Michael Reichhardt Hansen. Decidability of a Hybrid Duration Calculus. Electronic Notes in Theoretical Computer Science, 174(6):113-133, 2007.
• Thomas Bolander and Torben Braüner. Tableau-Based Decision Procedures for Hybrid Logic. Journal of Logic and Computation, 16:737-763, 2006.
• Thomas Bolander and Torben Braüner. Two Tableau-Based Decision Procedures for Hybrid Logic. 4th Workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. Pages 79-96. Humboldt-Universität Berlin, 2005.
• Thomas Bolander, Jens Ulrik Hansen and Michael Reichhardt Hansen. Decidability of a Hybrid Duration Calculus. In Proceedings of International Workshop on Hybrid Logic. Editors Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva and Jørgen Villadsen. Pages 104-123. 2006.
• Torben Braüner. Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic. Journal of Logic, Language and Information, 15:179-194, 2006.
• Torben Braüner and Valeria de Paiva. Intuitionistic Hybrid Logic. Journal of Applied Logic, 4:231-255, 2006.
• Torben Braüner. Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information, 14:173-198, 2005.

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