Abstract
The aim of this paper is to give characterizations of the notion of negative definability
as introduced in Venema [14]. This notion can be seen as an alternative way of defining
classes of Kripke frames via a modal language, one that enables us, for instance, to define
the previously undefinable class of irreflexive
... read more