Higher-order Modal Logic

Reinhard Muskens
Department of Linguistics
Tilburg University
P.O. Box 90153
NL 5000 LE Tilburg
The Netherlands
r.a.muskens@uvt.nl