Time conditional propositions. (English) Zbl 0688.03015

Summary: In this paper I want to perform a formalization of propositions whose truth depends on time so that deductions obtained in extended first-order predicate calculus are due to intuitions about time-truth relations. Works on problems of logic of time (chronologic logic etc.) do not deal with this question. A selection of synthetic works dealing with implementation of time into logical systems are referred to in the bibliography.


03B60 Other nonclassical logic
Full Text: EuDML


[1] Išmuratov A. T.: Logičeskije teorii vremennych kontekstov (vremennaja logika). Naukova dumka, Kijev 1981.
[2] Ivin A. A.: Aksiomatičeskije teorii vremeni. In ”Logika i empiričeskoje poznanije”. Nauka, Moskva 1972.
[3] Rescher N., Urquhart H.: Temporal Logic. Wien, Springer 1971. · Zbl 0229.02027
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.