Title: Diamonds and defaults
Subjects: Modality (Logic)