@article{1183737041, author = {Schindler, Patrick}, title = {Tense Logic for Discrete Future Time}, journal = {J. Symbolic Logic}, volume = {35}, number = {1}, year = {1970}, pages = { 105-118}, language = {en}, url = {http://dml.mathdoc.fr/item/1183737041} }
Schindler, Patrick. Tense Logic for Discrete Future Time. J. Symbolic Logic, Tome 35 (1970) no. 1, pp. 105-118. http://gdmltest.u-ga.fr/item/1183737041/