TY  - RPRT
TI  - Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
AU  - Yiwen Ding
AU  - Krishna Manoorkar
AU  - Mattia Panettiere
AU  - Ruoding Wang
PY  - 2024
UR  - https://arxiv.org/abs/2404.05574
ID  - 2404.05574
ER  -