@misc{indiciae060b352e3fc4, title = {Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic}, author = {Yiwen Ding and Krishna Manoorkar and Mattia Panettiere and Ruoding Wang}, year = {2024}, url = {https://arxiv.org/abs/2404.05574}, note = {Source identifier: 2404.05574} }