%0 Journal Article %1 journals/jsyml/Schindler70 %A Schindler, Patrick %D 1970 %J J. Symb. Log. %K dblp %N 1 %P 105-118 %T Tense Logic for Discrete Future Time. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml35.html#Schindler70 %V 35

@article{journals/jsyml/Schindler70, added-at = {2014-08-05T00:00:00.000+0200}, author = {Schindler, Patrick}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2681d9e46475660674a6e571123e2578f/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183737041}, interhash = {4320b12ae9b9ad5be1358bf82fabf732}, intrahash = {681d9e46475660674a6e571123e2578f}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {105-118}, timestamp = {2016-02-02T07:27:03.000+0100}, title = {Tense Logic for Discrete Future Time.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml35.html#Schindler70}, volume = 35, year = 1970 }