TY  - RPRT
TI  - Hennessy-Milner Theorems via Galois Connections
AU  - Harsh Beohar
AU  - Sebastian Gurke
AU  - Barbara König
AU  - Karla Messing
PY  - 2023
UR  - https://arxiv.org/abs/2207.05407
ID  - 2207.05407
ER  -