Tense logic - Mcarthur Robert P (Dordrecht D Reidel, 1976)
Keywords: PHILOSOPHY