An approach to tense logic1
- 1 December 1970
- Vol. 36 (3), 282-300
- https://doi.org/10.1111/j.1755-2567.1970.tb00428.x
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Past, Present and FuturePublished by Oxford University Press (OUP) ,1967
- Algebraic semantics for modal logics IThe Journal of Symbolic Logic, 1966
- Rasiowa H. and Sikorski R.. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 (for 1950, pub. 1951), pp. 193–200.The Journal of Symbolic Logic, 1952
- A proof of the completeness theorem of GrödelFundamenta Mathematicae, 1950
- The completeness of the first-order functional calculusThe Journal of Symbolic Logic, 1949