Title: Modal logic with descriptions
Subjects: Modality (Logic)