Intensional and higher-order modal logic with applications to Montague semantics
Gallin, Daniel.
Amsterdam Oxford North-Holland Publishing Co. [etc.]
1975
Bibliography: p.144-148
Intension (Logic)
Modality (Logic)