An approach to tense logic1

Theoria

Volumn 36, Issue 3, 1970, Pages 282-300

  BULL, R A ^a  

^a UNIVERSITY OF CANTERBURY   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84979127432     PISSN: 00405825     EISSN: 17552567     Source Type: Journal    
DOI: 10.1111/j.1755-2567.1970.tb00428.x     Document Type: Article

References (8)

1. Review of [7]
2. The completeness of first‐order functional calculus
3. Algebraic semantics for modal logic I
4. A proof of the completeness theorem of Gödel