Hennessy-Milner Theorems via Galois Connections

Reference

Harsh Beohar, Sebastian Gurke, Barbara König, and Karla Messing. Hennessy-Milner theorems via Galois connections, 2022. arXiv:2207.05407.

Suggested BibTeX entry:

@misc{BGKM22,
    author = {Harsh Beohar and Sebastian Gurke and Barbara K\"onig and Karla Messing},
    note = {arXiv:2207.05407},
    title = {{H}ennessy-{M}ilner Theorems via {G}alois Connections},
    year = {2022}
}

See arxiv.org ...Conference version