Skip to ContentSkip to Navigation
Over ons Praktische zaken Waar vindt u ons H.H. (Helle) Hansen, Prof

Publicaties

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

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

Correspondence Between Composite Theories and Distributive Laws

Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients

Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients

Minimisation in Logical Form

Preface to the Proceedings of WoLLIC 2023

Algebraic Presentation of Semifree Monads

An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions

Preface to the Proceedings of CMCS 2022

Pers/media

The power of logic in computation