Jens Ulrik Hansen

Short bio: PhD student at Roskilde University Member of the research groups Programming Logic and Intelligent Systems (Computer Science) and Science Studies (Philosophy) Part of the research project HYLOCORE funded by the Danish Natural Science Research Council Visited the Institute for Logic, Language and Computation at the University of Amsterdam, 2008-2009 Master of Science in Mathematics (with a minor in Philosophy) from the University of Copenhagen in 2007 Exchange student at University of California, Irvine, 2004-2005 contact: jensuh (at) ruc (dot) dk.

NEWS:

I will be defending my PhD thesis the 13th of October at 13.00 at Roskilde University. (Invitation in danish)

In connection with my defense there will be a workshop on modal and epistemic logic the 14th of October at Roskilde University. See the full program here. If you want to participate, please send me an email no later than Monday th 10th of October

Research interests:

My research involves all kinds of modal logic, both pure and applied. However, my key interest is in logics for multi-agent systems, intelligent interaction and rational agency, in particular various kinds of epistemic logics (such as dynamic epistemic logic). Additionally, I have taken great interest in formal and social epistemology, hybrid logics, and the usage of description logic within the field of biomedical ontologies and knowledge representation. Finally, I have a general interest in mathematical logic, philosophy of logic and mathematics, philosophy of information, philosophy of language and epistemology.

Publications:

• Jens Ulrik Hansen. A Hybrid Public Announcement Logic with Distributed Knowledge. Electronic Notes in Theoretical Computer Science 273(2011): 33-50. Post-Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010). (Extended version)

• Jens Ulrik Hansen. A Logic Approach to Pluralistic Ignorance. Proceedings of the workshop PhDs in Logic III (Brussels, February 17-18th, 2011).

• Sine Zambach and Jens Ulrik Hansen. Logical knowledge representation of regulatory relations in biomedical pathways. Lecture Notes in Computer Science 6266(2010): 186-200. Proceedings of the 1st International Conference on Information Technology in Bio- and Medical Informatics (ITBAM 2010).

• Jens Ulrik Hansen. Terminating Tableaux for Dynamic Epistemic Logics. Electronic Notes in Theoretical Computer Science 262(2010): 141-156. Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 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. A re-issue of the article in Advances in Modal Logic 2008.

• Jens Ulrik Hansen, Thomas Bolander, Torben Braüner. Many-valued Hybrid Logic. Advances in Modal Logic Volume 7 (AiML 2008), College Publications 2008.

• Jens Ulrik Hansen. A Tableau system for a first-order hybrid logic. Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007), ESSLLI 2007.

• Thomas Bolander, Jens Ulrik Hansen, Michael Reichhardt Hansen. Decidability of a Hybrid Duration Calculus. Electronic Notes in Theoretical Computer Science 174(2007): 113-133. Proceedings of the International Workshop on Hybrid Logic 2006 (HyLo 2006).

Teaching:

• Discrete Mathematics, spring 2010, NAT-BAS course, Roskilde University, co-lecture.

• Philosophical Logic, Fall 2009, philosophy graduate course, Roskilde University, Lecture.

• BASE (Introduction to mathematical modelling), Spring 2008, NAT-BAS course, Roskilde University, Teaching Assistant.

• Teaching Assistant at the deparment of mathematics at the University of Copenhagen from 2002 to 2007 in various courses on mathematics for biologists, mathematical analysis, introduction to abstract mathematics, measures and integrals, mathematical methods, llogic and axiomatic set theory and the theory of the mathematical sciences.

Talks

• "A Logic Approach to Pluralistic Ignorance" at the CPH LU Workshops in Social Epistemology, Lund, februar 2011.

• "A Logic Approach to Pluralistic Ignorance" at the workshop PhDs in Logic III, Brussels, February 2011.

• "Logical knowledge representation of regulatory relations in biomedical pathways" at the 1st International Conference on Information Technology in Bio- and Medical Informatics (ITBAM 2010), Bilbao, Septemper 2010.

• "A Hybrid Public Announcement Logic with Distributed Knowledge" at the International Workshop on Hybrid Logic and Applications 2010 (HyLo 2010), Edinburgh, July 2010.

• "Turing and Turing machines" at the RUC Informal Seminar on Logic and Its Foundation, Roskilde University, April 2010.

• "Logics of communication and change – a paper by Johan van Benthem, Jan van Eijck, and Barteld Kooi" at the seminar on Logic for Multi-Agent Systems, Technical University of Denmark, March 2010.

• "Possible worlds semantic for the logic of knowledge"(in Danish) at the annual meeting of the Danish Society of Philosophy, Copenhagen, March 2010.

• "Tableau systems for dynamic epistemic logic" at the seminar on Logic for Multi-Agent Systems, Technical University of Denmark, Januar 2010.

• "Dynamic Epistemic Logic" in Saarbücken and Leuven in conncetion with the "RUC Logic roadtrip", november 2009.

• "Tableaux for Dynamic Epistemic Logics" at the workshop Methods for Modalities 2009 (M4M 2009), Copenhagen, November 2009.

• "Logic and Knowledge - epistemic logic vs. knowledge representation"(in Danish) at the study for IT and Cognition, University of Copenhagen, October 2009.

• "Hybridizing Epistemic Logics" at the HYLOCORE Mini-Workshop on Hybrid and Modal Logic, Roskilde University, April 2009.

• "Hybrid Epistemic Logics" at the seminar for Logics for Dynamics of Information and Preferences, Institute for Logic, Language and Information, University of Amsterdam, April 2009.

• "Dynamic Epistemic Logic"(in Danish) at the annual meeting of the Danish Society of Philosophy, Aarhus, Denmark, March 2009.

• "Many-Valued Hybrid Logic" at the seminar for Logics for Dynamics of Information and Preferences, Institute for Logic, Language and Information, University of Amsterdam, October 2008.

• "Many-Valued Hybrid Logic" at Advances in Modal Logic 2008 (AiML 2008), Nancy, France, Septemper 2008.

• "Many-Valued Hybrid Logic" at the one day seminar on Hybrid and Temporal Logics, Technical University of Denmark, June 2008.

• "Dynamic Epistemic Logic"(in Danish) at the RUC Logic-seminar, Roskilde University, May 2008.

• "A tableau system for a first-order hybrid logic" at the International Workshop on Hybrid Logic 2007 (HyLo 2007), part of ESSLLI 2007, Dublin, Ireland, August 2007.

• "First-order hybrid logic" presented at the Hybrid Logic seminar, Roskilde University, May 2007.

• "What is Modal Logic?"(in Danish) Student colloquium at the Department of Mathematics, University of Copenhagen, March 2007.

Other academic activities:

• Member of the ESSLLI 2010 Organizing Committee.

• Co-Chair of the 2010 ESSLLI Student Session.

• Main Organizer of the RUC Informal Seminar on Logic and Its Foundation at Roskilde University in 2010.

• Student representative in the board of the Doctoral School of Culture, Language and Philosophy, Department of Culture and Identity, Roskilde University in 2010.

• Member of the FIRST(Research School) Research Training Committee, 2009-2010.