@article{1183739187, author = {Thomason, S. K.}, title = {Reduction of Tense Logic to Modal Logic. I}, journal = {J. Symbolic Logic}, volume = {39}, number = {1}, year = {1974}, pages = { 549-551}, language = {en}, url = {http://dml.mathdoc.fr/item/1183739187} }
Thomason, S. K. Reduction of Tense Logic to Modal Logic. I. J. Symbolic Logic, Tome 39 (1974) no. 1, pp. 549-551. http://gdmltest.u-ga.fr/item/1183739187/