Compatibility between modal operators in distributive modal logic

Adam Přenosil

Unlike in classical modal logic, in non-classical modal logics the box and diamond operators frequently fail to be interdefinable. Instead, these logics impose some compatibility c…