Skip to Content Skip to Navigation

About us Practical matters How to find us H.H. (Helle) Hansen, Prof

H.H. (Helle) Hansen, Prof

Associate Professor (Adjuncthoogleraar) in Logic and Semantics of Computation

Faculty of Science and Engineering

Telephone:

+31 50 36 33939

E-mail:

h.h.hansen rug.nl

ORCID Research Portal

Publications

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. (eds.). Springer, p. 258-284 27 p. (Lecture Notes in Computer Science; vol. 15661 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

Hansen, H. H. & Poiger, W., 28-Dec-2025, (Submitted) arXiv, 40 p.

Research output: Working paper › Preprint › Academic

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-Mar-2025, (Submitted) arXiv, 97 p.

Research output: Working paper › Preprint › Academic

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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28 p. 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 342).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Thin Coalgebraic Behaviours Are Inductive

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

Research output: Working paper › Preprint › Academic

Thin Coalgebraic Behaviours Are Inductive

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Unambiguous Acceptance of Thin Coalgebras

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

Research output: Working paper › Preprint › Academic

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 p., e35.

Research output: Contribution to journal › Editorial › Academic › 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 p.

Research output: Working paper › Preprint › Academic

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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 194-215 22 p. (Lecture Notes in Computer Science ; vol. 14617 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

All (51) publications

Press/media

The power of logic in computation

Hansen, H. H., Perez Parra, J. & Frumin, D.

19/04/2022

Press/Media: Other › Professional

All (1) press/media

View full research profile

Follow the UGfacebook linkedin rss instagram youtube