H.H. (Helle) Hansen, Prof

Adjuncthoogleraar in Logic and Semantics of Computation

Faculteit Science and Engineering

Telefoon:

050 36 33939

E-mail:

h.h.hansen rug.nl

ORCID Research Portal

Publicaties

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets

Rosset, A., Hansen, H. H. & Endrullis, J., 2026, Logic, Language, and Computation - 14th International Tbilisi Symposium, TbiLLC 2023, Revised Selected Papers. Hogeweg, L., Jalali, R., Sedlár, I. & Schwarz, L. (reds.). Springer, blz. 258-284 27 blz. (Lecture Notes in Computer Science; vol. 15661 LNCS).

Onderzoeksoutput › › peer review

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility

Hansen, H. H. & Poiger, W., 28-dec-2025, (Submitted) arXiv, 40 blz.

Onderzoeksoutput: Voordruk ›

Propositional Dynamic Logic has Craig Interpolation: A tableau-based proof

Borzechowski, M., Gattinger, M., Hansen, H. H., Ramanayake, R., Dalmas, V. T. & Venema, Y., 17-mrt-2025, (Submitted) arXiv, 97 blz.

Onderzoeksoutput: Voordruk ›

Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics

Hansen, H. H. & Poiger, W., 28-jul-2025, 11th Conference on Algebra and Coalgebra in Computer Science: CALCO 2025. Cirstea, C. & Knapp, A. (reds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28 blz. 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 342).

Onderzoeksoutput › › peer review

Thin Coalgebraic Behaviours Are Inductive

Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 5-jun-2025, (Submitted) arXiv, 21 blz.

Onderzoeksoutput: Voordruk ›

Thin Coalgebraic Behaviours Are Inductive

Chernev, A., Cirstea, C., Hansen, H. H. & Kupke, C., 9-okt-2025, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, blz. 761-775 15 blz. (Proceedings - Symposium on Logic in Computer Science).

Onderzoeksoutput › › peer review

Unambiguous Acceptance of Thin Coalgebras

Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 30-okt-2025, (Submitted) arXiv, 26 blz.

Onderzoeksoutput: Voordruk ›

WoLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation

Hansen, H. H., Scedrov, A. & De Queiroz, R. J. G. B., 2-dec-2025, In: Mathematical structures in computer science. 35, 1 blz., e35.

Onderzoeksoutput › › peer review

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets

Rosset, A., Hansen, H. H. & Endrullis, J., 5-jul-2024, (Submitted) arXiv, 56 blz.

Onderzoeksoutput: Voordruk ›

Correspondence Between Composite Theories and Distributive Laws

Rosset, A., Zwart, M., Hansen, H. H. & Endrullis, J., 2024, Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. König, B. & Urbat, H. (reds.). Springer Science and Business Media Deutschland GmbH, blz. 194-215 22 blz. (Lecture Notes in Computer Science ; vol. 14617 LNCS).

Onderzoeksoutput › › peer review