TY - RPRT TI - Modal definability in Euclidean modal logics AU - Philippe Balbiani AU - Tinko Tinchev PY - 2025 UR - https://arxiv.org/abs/2508.10813 ID - 2508.10813 ER -