TY  - RPRT
TI  - Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
AU  - Chrysafis
AU  - Hartonas
PY  - 2025
DO  - 10.3390/logics3030010
UR  - https://arxiv.org/abs/2503.12523
ID  - 2503.12523
ER  -