Photo of Jens Ulrik Hansen
  • Universitetsvej 1

    DK-4000 Roskilde

    Denmark

20072018
If you made any changes in Pure these will be visible here soon.

Research Output 2007 2018

2018

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T., 2018, In : Journal of Logic and Computation. 28, 5, p. 883-908

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
2016

Reflecting on social influence in networks

Christoff, Z., Hansen, J. U. & Proietti, C., 2016, In : Journal of Logic, Language and Information. 25, 3-4, p. 299-333

Research output: Contribution to journalJournal articleResearchpeer-review

2015

A logic for diffusion in social networks

Hansen, J. U. & Christoff, Z., 2015, In : Journal of Applied Logic. 13, 1, p. 48-77

Research output: Contribution to journalJournal articleResearchpeer-review

Reasoning about opinion dynamics in social networks

Hansen, J. U., 2015, In : Journal of Logic and Computation. Online First

Research output: Contribution to journalJournal articleResearchpeer-review

2014

A logic-based approach to pluralistic ignorance

Hansen, J. U., 2014, Logic and Interactive Rationality: Yearbook 2012. Christoff, Z., Galeazziv, P., Gierasimczuk, N., Marcoci, A. & Smets, S. (eds.). Vol. II. p. 227-245

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Modeling truly dynamic epistemic scenarios in PDEL

Hansen, J. U., 2014, The Logica Yearbook 2013. Dancak, M. & Puncochar, V. (eds.). College Publications, p. 63-76

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

On the rationality of pluralistic ignorance

Bjerring, J. C., Hansen, J. U. & Jang Lee Linding Pedersen, N., 2014, In : Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 191, p. 2445-2470

Research output: Contribution to journalJournal articleResearchpeer-review

Pluralistic ignorance: A case for social epistemology and epistemic

Hansen, J. U., 2014, Proceedings of the workshop on Epistemic Logic for Individual, Social, and Interactive Epistemology (ELISIEM 2014).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Reasoning about opinion dynamics in social networks

Hansen, J. U., 2014, Proceedings of the eleventh conference on logic and the foundations of game and decision theory (LOFT XI).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Reflecting on social influence in social networks

Christoff, Z., Hansen, J. U. & Proietti, C., 2014, of Information Dynamics in Articial Societies Workshop (IDAS 2014).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2013

A two-tiered formalization of social influence

Christoff, Z. & Hansen, J. U., 2013, Logic, Rationality and Interaction, Proceedings of the Fourth International Workshop (LORI 2013). Huang, H., Grossi, D. & Roy, O. (eds.). Springer, p. 68-81 (Lecture Notes in Computer Science, Vol. 8196).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Logical models of informational cascades

Baltag, A., Christoff, Z., Hansen, J. U. & Smets, S., 2013, Logic across the University: Foundations and Applications. van Benthem, J. & Liu, F. (eds.). College Publications, p. 405-432

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2012

A logic-based approach to pluralistic ignorance

Hansen, J. U., 2012, Future Directions for Logic - Proceedings of PhDs in Logic III. De Vuyst, J. & Demey, L. (eds.). College Publications, p. 67-80

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2011

A Hybrid Public Announcement Logic with Distributed Knowledge

Hansen, J. U., 8 Jul 2011, In : Electronic Notes in Theoretical Computer Science. 273, p. 33-50

Research output: Contribution to journalJournal articleResearchpeer-review

2010

Logical knowledge representation of regulatory relations in biomedical pathways

Zambach, S. & Hansen, J. U., 2010, ITBAM 2010: 1st International Conference on Information Technology in Bio- and Medical Informatics. Khuri, S., Lhotská, L. & Pisanti, N. (eds.). Springer, p. 186-200 14 p. (Lecture Notes in Computer Science, Vol. 6266).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Terminating Tableaux for Dynamic Epistemic Logics

Hansen, J. U., 2010, In : Electronical Notes in Theoretical Computer Science. p. 141-156 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

2009

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2009, Logics for Dynamics of Information and Preferences: Seminar's yearbook 2008. Kurzen, L. & Velazquez-Quesada, F. R. (eds.). University of Amsterdam, p. 238-263

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Terminating tableaux for dynamic epistemic logics

Hansen, J. U., 2009, In : Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter. 128, p. 88-102 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

2008

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2008, Advances in Modal Logic. Areces, C. & Goldblatt, R. (eds.). College Publications, Vol. 7. p. 111-132 22 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2007

A Tableau system for a first-order hybrid logic

Hansen, J. U., 2007. 9 p.

Research output: Contribution to conferencePaperResearchpeer-review

Decidability of a Hybrid Duration Calculus

Bolander, T., Hansen, J. U. & Hansen, M. R., 2007, In : Electronic Notes in Theoretical Computer Science. 174, p. 113-133

Research output: Contribution to journalJournal articleResearchpeer-review