Hennessy-Milner properties via topological compactness

Jim de Groot*, Dirk Pattinson

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    1 Citation (Scopus)


    We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to modal (dual- and bi-)intuitionistic logics. Our main technical tools are image-compact and pre-image-compact relations that provide a semantical description of modal saturation properties.

    Original languageEnglish
    Article number104757
    JournalInformation and Computation
    Publication statusPublished - Sept 2022


    Dive into the research topics of 'Hennessy-Milner properties via topological compactness'. Together they form a unique fingerprint.

    Cite this