Intensional and higher-order modal logic : with applications to Montague semantics - Gallin, Daniel (North-Holland mathematics studies, 1975)