Modal logic and its applications / by D.P. Snyder. - Snyder, D. P. (Van Nostrand, 1971)