## Journal of Symbolic Logic

### The Modal Logic of Inequality

Maarten de Rijke

#### 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.

#### Article information

Source
J. Symbolic Logic, Volume 57, Issue 2 (1992), 566-584.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183743978

Mathematical Reviews number (MathSciNet)
MR1169195

Zentralblatt MATH identifier
0788.03019

JSTOR