Mcarthur, Robert P Tense logic - Dordrecht: D. Reidel Publishing Company, 1976 - 84p. Subjects--Topical Terms: Tense logic Subjects--Index Terms: Linear tense logic Universal Decimal Class. No.: 160.1 / L6