 Interestingly, by combining the negation over formulas and the Boolean complement over relations, it is possible to define the following operator (often called window (see Goldblatt 1974; van Benthem 1979; Gargov, Passy, &amp; Tinchev 1987):