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 - 2013) with Braüner as principal investigator.

Activities

AiML 2012, August 22-25 2012
Mini-workshop on Modal and Epistemic logic, October 14 2011
Jens Ulrik Hansen's PhD defence, October 13 2011
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
Torben Braüner's defence of his dr.scient. thesis, April 23 2009

Publications

Peer-reviewed papers

Torben Braüner. First-Order Hybrid Logic: Introduction and Survey. Volume of Abstracts of The 2011 International Conference on Non-classical Modal and Predicate Logics.
Thomas Bolander and Mikkel Birkegaard Andersen. Epistemic planning for single- and multi-agent systems. Journal of Applied Non-Classical Logics, Volume 21, 2011.
Torben Braüner. Intuitionistic Hybrid Logic: Introduction and Survey. Information and Computation, Volume 209, 2011.
Jens Ulrik Hansen. A Hybrid Public Announcement Logic with Distributed Knowledge. Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010). Electronic Notes in Theoretical Computer Science, Volume 273, 2011.
Thomas Bolander. Two Approaches to Termination and Completeness of Hybrid Tableaus. Preliminary proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010). FLoC 2010.
Willem Conradie, Valentin Goranko, and Dimiter Vakarelov. Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. Journal of Applied Logic, Volume 8, 2010. Special issue on hybrid logics.
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.
Thomas Bolander and Rene Rydhof Hansen. Hybrid Logical Analyses of the Ambient Calculus. Information and Computation, Volume 208, 2010.
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.

Edited works

Advances in Modal Logic, Volume 9. College Publications, 2012. Edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawence Moss.
Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010). Electronic Notes in Theoretical Computer Science, Volume 273, 2011. Edited by Thomas Bolander and Torben Braüner.
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.
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.

Other works

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, 2011.
Torben Braüner. Arthur Prior's temporal logic and the origin of contemporary hybrid logic. Persistenz-Indexikalität-Zeiterfahrung, Ontos-Verlag, 2011. Survey paper associated with an invited talk given at the workshop Persistenz-Indexikalität-Zeiterfahrung, Technical University of Dresden, Germany, 2008.
Torben Braüner. Hybrid-logik - fra filosofi til datalogi. Aktuel Naturvidenskab, 2, 2010.
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.