Intensional and Higher-Order Modal Logic door Daniel Gallin