TY  - BOOK
AU  - Mcarthur, Robert P 
TI  - Tense logic 
PY  - 1976///
CY  - Dordrecht: 
PB  - D. Reidel Publishing Company, 
KW  - Tense logic
KW  - Linear tense logic
ER  -