Quantification in modal logic (1984)

by J W Garson
Venue:In: Gabbay/Guenthner