@article{120205, author = {Jan \v St\v ep\'an}, title = {Time conditional propositions}, journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica}, volume = {27}, year = {1988}, pages = {355-363}, zbl = {0688.03015}, mrnumber = {1039901}, language = {en}, url = {http://dml.mathdoc.fr/item/120205} }
Štěpán, Jan. Time conditional propositions. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 27 (1988) pp. 355-363. http://gdmltest.u-ga.fr/item/120205/
Logičeskije teorii vremennych kontekstov (vremennaja logika), Naukova dumka, Kijev 1981. (1981)
Aksiomatičeskije teorii vremeni, In "Logika i empiričeskoje poznanije". Nauka, Moskva 1972. (1972)
Temporal Logic, Wien, Springer 1971. (1971) | MR 0337498 | Zbl 0229.02027