S. O. Speranski. Negation as a modality in a quantified setting