Text this: Logical modalities from Aristotle to Carnap :