Title: Intensional logic
Subjects: Logic