Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic.

Yifeng Ding, Krishna Manoorkar, Mattia Panettiere, Ruoding Wang

Browse the full AiML paper archive.