The modal logic of inequality. (1992)

by M de Rijke
Venue:Journal of Symbolic Logic,