Intensional and Higher-Order Modal Logic