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

Yiwen Ding, Krishna Manoorkar, Mattia Panettiere +1

In this paper, we introduce the simulations and bisimulations on polarity-based semantics for non-distributive modal logic, which are natural generalizations of those notions on Kr…