Philosophical logic (Oxford Univ.Pr., 1977)