A general interpreted modal calculus / by Aldo Bressan. New Haven [u.a.] : Yale Univ. Press, 1972