Email Record: Intensional and higher-order modal logic : with applications to Montague semantics / Daniel Gallin.