@inproceedings{inproceedings, title = {{Hennessy-Milner Theorems via Galois Connections}}, url = {{}}, year = {{2023}}, month = {{2}}, author = {{Beohar H and Gurke S and K枚nig B and Messing K}}, doi = {{10.4230/LIPIcs.CSL.2023.12}}, isbn = {{9783959772648}}, volume = {{252}}, journal = {{Leibniz International Proceedings in Informatics, LIPIcs}}, note = {{Accessed on 2025/06/26}}}