Intensional and Higher-Order Modal Logic (1975)

by D Gallin