Intensional and Higher-Order Modal Logic, volume 19 of North-Holland Mathematics Studies (1975)

by Daniel Gallin