Hybrid Logic, Computation, and Reasoning Methods (HYLOCORE)

The HYLOCORE project is a continuation of the highly successful project HyLoMOL (2005--2008). The goal of HYLOCORE is twofold:

To explore and devise formal proof procedures--reasoning methods--for hybrid logics and their extensions, continuing the research and international research collaboration initiated in the project HyLoMOL.
To strengthen Danish research in reasoning methods for hybrid logic and other extended modal logics. This is a growing area of foundational and increasingly computational importance.

Danish participants

Thomas Bolander (Technical University of Denmark)

Torben Braüner (Roskilde University)

Valentin Goranko (Technical University of Denmark)

Jens Ulrik Hansen (Roskilde University)

International collaborators

Carlos Areces (INRIA, France)

Patrick Blackburn (INRIA, France)

Guillaume Hoffmann (INRIA, France)

The HYLOCORE project is funded by the Danish Natural Science Research Council (2009 - 2012) with Braüner as principal investigator.

Activities

AiML 2012, August 2012
HyLo 2010, July 10 2010
M4M-6, November 12-14 2009
FIRST Autumn School on Modal Logic, November 10-11 2009
Mini-workshop on hybrid and modal logic, April 24 2009
Braüner's defence of his dr.scient. thesis, April 23 2009

Publications

Torben Braüner. Hybrid Logic. In Handbook of Philosophical Logic, 2nd Edition, Volume 16. Kluwer Academic Publishers, 2011. To appear.
Torben Braüner. Hybrid Logic and Its Proof-Theory. Applied Logic Series, Volume 37, Springer, 2010. To appear.
Torben Braüner. Arthur Prior's temporal logic and the origin of contemporary hybrid logic. Survey paper associated with an invited talk given at the workshop Persistenz-Indexikalität-Zeiterfahrung, Technical University of Dresden, Germany, 2008. In anthology to be published by Ontos-Verlag, 2010.
Proceedings of the 6th Workshop on Methods for Modalities (M4M-6). Electronic Notes in Theoretical Computer Science, Volume 262, 2010. Edited by Thomas Bolander and Torben Braüner.
Jens Ulrik Hansen. Terminating tableaux for dynamic epistemic logics. Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009). Electronic Notes in Theoretical Computer Science, Volume 262, 2010.
Torben Braüner. Hybrid-logik - fra filosofi til datalogi. Aktuel Naturvidenskab, 2, 2010.
Thomas Bolander and Rene Rydhof Hansen. Hybrid Logical Analyses of the Ambient Calculus. Information and Computation, Volume 208, 2010.
Preliminary proceedings of the 6th Workshop on Methods for Modalities (M4M-6). Computer Science Research Report 128, Roskilde University, 2009. Edited by Thomas Bolander and Torben Braüner .
HYBRID LOGIC: Dedicated to the Memory of Volker Weber. Journal of Logic, Language and Information, 18(4), 2009. Special issue. Includes papers given at International Workshop on Hybrid Logic 2007. Edited by Torben Braüner and Thomas Bolander.
Thomas Bolander and Patrick Blackburn. Terminating Tableau Calculi for Hybrid Logics extending K. Proceedings of the 5th Workshop on Methods for Modalities (M4M-5). Electronic Notes in Theoretical Computer Science, Volume 231, 2009.
Jens Ulrik Hansen, Thomas Bolander, and Torben Braüner. Many-Valued Hybrid Logic. Logics for Dynamics of Information and Preferences: Seminar's yearbook 2008. Institute for logic, Language and Computation, University of Amsterdam, 2009. Re-issue of article in Advances in Modal Logic, Volume 7. College Publications, 2008.
Torben Braüner. Hybrid Logic and Its Proof-Theory. Computer Science Research Report 124, Roskilde University, 2009. Thesis accepted in fulfillment of the requirements for the Danish higher doctorate dr.scient.