@misc{misc, title  = {{Hennessy-Milner Theorems via Galois Connections}},

 url = {{}},

 year = {{2022}},

 month = {{7}},

 author = {{Beohar H and Gurke S and König B and Messing K}},

 doi = {{10.48550/arxiv.2207.05407}},

 note = {{Accessed on 2024/12/23}}}