c - 9 (b, 1977)
Keywords: Philosophical Logic; 9