List of publications

Refereed conference and workshop papers

• First-Order Hybrid Logic: Introduction and Survey. Volume of Abstracts of The 2011 International Conference on Non-classical Modal and Predicate Logics. Guangzhou (Canton), China, 2011.
• Many-Valued Hybrid Logic (with Jens Ulrik Hansen and Thomas Bolander). Advances in Modal Logic, Volume 7, College Publications, 2008.
• Two Tableau-Based Decision Procedures for Hybrid Logic (with Thomas Bolander). 4th Workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194, Humboldt-Universität zu Berlin, Germany, 2005.
• Towards Constructive Hybrid Logic (Extended Abstract) (with Valeria de Paiva). Workshop Proceedings of Methods for Modalities 3, Nancy, France, 2003.
• Functional Completeness for a Natural Deduction Formulation of Hybridized S5. Advances in Modal Logic, Volume 4, King's College Publications, 2003. An earlier version was given at Advances in Modal Logic, Toulouse, France, 2002.
• Natural Deduction for First-Order Hybrid Logic. Workshop Proceedings of Fourth Workshop on Hybrid Logics, affiliated to IEEE Symposium on Logic in Computer Science, Copenhagen, Denmark, 2002.
• Natural Deduction for Hybrid Logic (Extended Abstract). Workshop Proceedings of Methods for Modalities 2, Amsterdam, Holland, 2001.
• Homophonic Theory of Truth for Tense Logic. Advances in Modal Logic, Volume 3, World Scientific, 2002. An earlier version was given at Advances in Modal Logic/International Conference on Temporal Logic, Leipzig, Germany, 2000.
• Determinism and the Origins of Temporal Logic (with Per Hasle and Peter Øhrstrøm). Advances in Temporal logic, Applied Logic Series 16, Kluwer Academic Publishers, 2000. An earlier version was given at International Conference on Temporal Logic, Manchester, England, 1997.
• Towards a Diagrammatic Formulation of Modal and Temporal Logic (with Peter Øhrstrøm). Working Notes of AAAI'99 Fall Symposium on Modal and Temporal Logic-based Planning for Open Networked Multimedia Systems, North Falmouth, Massachusetts, USA.
• A Cut-Free Gentzen Formulation of the Modal Logic S5. Proceedings of 6th Workshop on Logic, Language, Information and Computation, National Park of Itatiaia, State of Rio de Janeiro, Brazil, 1999.
• Conceptual Graphs as Algebras - with an Application to Analogical Reasoning (with Jørgen Fischer Nilsson and Anne Rasmussen). Proceedings of Seventh International Conference on Conceptual Structures, Blacksburg, Virginia, USA, 1999, LNAI 1640, Springer-Verlag.
• A Software System for Learning Peircean Graphs (with Claus Donner and Peter Øhrstrøm). Proceedings of Seventh International Conference on Conceptual Structures, Blacksburg, Virginia, USA, 1999, LNAI 1640, Springer-Verlag.
• Peircean Graphs for the Modal Logic S5. Proceedings of Sixth International Conference on Conceptual Structures, Montpellier, France, 1998, LNAI 1453, Springer-Verlag.
• Ockhamistic Logics and True Futures of Counterfactual Moments (with Per Hasle and Peter Øhrstrøm). Proceedings of Fifth International Workshop on Temporal Representation and Reasoning, Sanibel Island, Florida, USA, 1998, IEEE Press.
• A Formulation of Linear Logic Based on Dependency-Relations (with Valeria de Paiva). Proceedings of Annual Conference of the European Association for Computer Science Logic, Aarhus, Denmark, 1997, LNCS 1414, Springer-Verlag.
• A Simple Adequate Categorical Model for PCF. Proceedings of Third International Conference on Typed Lambda Calculi and Applications, Nancy, France, 1997, LNCS 1210, Springer-Verlag.
• The Girard Translation Extended with Recursion. Technical Report BRICS-RS-95-13. Full version of paper in Proceedings of Annual Conference of the European Association for Computer Science Logic, Kazimierz, Poland, 1994, LNCS 933, Springer-Verlag.
• A Model of Intuitionistic Affine Logic from Stable Domain Theory. Technical Report BRICS-RS-94-27. Full version of paper in Proceedings of International Colloquium on Automata, Languages and Programming, Jerusalem, Israel, 1994, LNCS 820, Springer-Verlag.

Refereed journal papers

• Intuitionistic Hybrid Logic: Introduction and Survey. Information and Computation, 209, 2011.
• Adding Intensional Machinery to Hybrid Logic. Journal of Logic and Computation, 18, 2008.
• Why does the Proof-Theory of Hybrid Logic Work so Well? Journal of Applied Non-Classical Logics, 17, 2007.
• Tableau-Based Decision Procedures for Hybrid Logic (with Thomas Bolander). Journal of Logic and Computation, 16, 2006. Revised end extended version of paper in 4th Workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194, Humboldt-Universität zu Berlin, Germany, 2005.
• Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic. Journal of Logic, Language and Information, 15, 2006.
• Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica, 81, 2005. Revised and extended version of paper in Advances in Modal Logic, Volume 4, King's College Publications, 2003.
• Intuitionistic Hybrid Logic (with Valeria de Paiva). Journal of Applied Logic, 4, 2006. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 3, 2003.
• Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information, 14, 2005. Revised and extended version of paper in Workshop Proceedings of Fourth Workshop on Hybrid Logics, 2002.
• Two Natural Deduction Systems for Hybrid Logic: A Comparison. Journal of Logic, Language and Information, 13, 2004.
• Natural Deduction for Hybrid Logic. Journal of Logic and Computation, 14, 2004. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 2, 2001.
• Modal Logic, Truth, and the Master Modality. Journal of Philosophical Logic, 31, 2002. Revised and extended version of paper in Advances in Modal Logic, Volume 3, World Scientific, 2002.
• A Cut-Free Gentzen Formulation of the Modal Logic S5. Logic Journal of the IGPL, 8, 2000. Full version of paper in Proceedings of 6th Workshop on Logic, Language, Information and Computation.
• A Simple Adequate Categorical Model for PCF, II. Fundamenta Informaticae, 33, 1998. Extended version of paper in Proceedings of Third International Conference on Typed Lambda Calculi and Applications (4 out of 24 papers in the proceedings were selected for publication in this journal). Hard-copies available from the author.
• A General Adequacy Result for a Linear Functional Language. Theoretical Computer Science, 177, 1997. Based on talk given at Tenth Workshop on the Mathematical Foundations of Programming Semantics, Manhattan, Kansas, USA, 1994. Hard-copies available from the author.

Edited works

• Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010). Electronic Notes in Theoretical Computer Science, 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, 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.
• Proceedings of the International Workshop on Hybrid Logic (HyLo 2007). 19th European Summerschool in Logic, Language and Information. Edited by Jørgen Villadsen, Thomas Bolander, and Torben Braüner.
• Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). Electronic Notes in Theoretical Computer Science, 174, 2007. Edited by Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, and Jørgen Villadsen.
• The Logic of Time and Modality. Synthese, 150(3), 2006. Special issue with papers given at Conference on The Logic of Time and Modality which took place at Roskilde University, October 31 - November 1, 2003. Edited by Torben Braüner, Per Hasle, and Peter Øhrstrøm.
• Revised and Expanded Edition of Arthur N. Prior: Papers on Time and Tense. Oxford University Press, 2003, ISBN 0-19-925607-1. Edited by Per Hasle, Peter Øhrstrøm, Torben Braüner, and Jack Copeland.

Handbook and encyclopedia contributions

• Hybrid Logic. In Handbook of Philosophical Logic, 2nd Edition, Volume 16. Edited by D.M. Gabbay and F. Guenthner. Kluwer Academic Publishers, 2011. To appear.
• First-Order Modal Logic (with Silvio Ghilardi). In Handbook of Modal Logic. Edited by Patrick Blackburn, Johan van Benthem, and Frank Wolter. Elsevier, 2006.
• Hybrid Logic. Entry in The Stanford Encyclopedia of Philosophy. Edited by Edward N. Zalta.

Introduction and survey papers

• 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.
• An Introduction to A.N. Prior's Logic of Time and Modality. Paper associated with an invited tutorial given at Second International Workshop on the History and Philosophy of Logic, Mathematics, and Computation, 2002. Also published in PHINEWS Volume 3, April 2003.
• Sprog, tid og logik (with Per Hasle). Sprog og Matematik, Handelshøjskolens Forlag, 2003. Contribution to textbook aimed at high school teachers in mathematics.
• Introduction to Linear Logic. Technical Report BRICS-LS-96-6. Lecture notes for BRICS Mini-course aimed at Ph.D. students, Department of Computer Science, University of Aarhus, December 1996.

Popular science publications

• Hybrid-logik - fra filosofi til datalogi. Aktuel Naturvidenskab, 2, 2010.
• Logikkens Muligheder og Grænser. Aktuel Naturvidenskab, 6, 2006.
• Kurt Gödel og Ufuldstændigheden. Weekendavisen IDEER, 2006. Newspaper article, May 24.

Other publications

• Hybrid Logic and Its Proof-Theory. Applied Logic Series, Volume 37, Springer, 2011.
• 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.
• Systemudvikling - logos eller mythos? (with Per Hasle). Rhetorica Scandinavica Nr. 6, 1998.
• An Axiomatic Approach to Adequacy. Technical Report BRICS-DS-96-4. Ph.D. thesis, Department of Computer Science, University of Aarhus, 1996.
• Cut-Elimination for Full Intuitionistic Linear Logic (with Valeria de Paiva). Technical Report BRICS-RS-96-10, 1996. Also available as Technical Report 395, Computer Laboratory, University of Cambridge.