The modal logic of inequality
Maarten de Rijke · Journal of Symbolic Logic · 1992
Abstract We consider some modal languages with a modal operator D whose semantics is based on the relation of inequality. Basic logical properties such as definability, expressive power and completeness are studied. Also, some connections with a number of other recent proposals to extend the standard modal language are pointed at.