Title: Intensional and higher-order modal logic
Subjects: Modality (Logic), Symbolic and mathematical Logic, Logique symbolique et mathématique, Logic, Modalité (Logique), PHILOSOPHY, Intention (Logic)