Intensional and Higher-Order Modal Logic by Daniel Gallin