O rodzajach logik temporalnych

Anna Kozanecka

Anna Kozanecka John Paul II Catholic University of Lublin

Keywords: Tense, Temporal Logic, Tense Logic, Logic of Time, Chronological Logic, And Next, And Then

Abstract

The article is devoted to the problems of different kinds of logics defined as “temporal” (Temporal Logic). At present the term “temporal logic” is used to denote several mutually independent logical systems containing different specific temporal operators and being used in many different branches of knowledge. The aim of the article is to organize this issue. Parts I, II and III of the article discuss temporal logics that may be used in natural sciences (mainly physics and cosmology): tense logic, also called logic of temporal clauses, logic of time (containing time variable) and von Wright’s systems of temporal logic. In Part IV, the last part of the article, temporal systems are presented that make use of the concept of time in computer programs. Non-standard approaches have been omitted.

Author Biography

Anna Kozanecka, John Paul II Catholic University of Lublin

Anna Kozanecka, M.A. – Chair of Logic, Faculty of Philosophy, The John Paul II Catholic University of Lublin

References

Hajnicz E.: Reprezentacja logiczna wiedzy zmieniającej się w czasie, Warszawa: Akademicka Oficyna Wydawnicza PLJ 1996.

Kiczuk S.:. Problematyka wartości poznawczej systemów logiki zmiany, Lublin: RW KUL 1984.

Klimek R.: Wprowadzenie do logiki temporalnej, Kraków: Wydawnictwa AGH 1999.

Łoś J.: Analiza metodologiczna kanonów Milla, „Annales Universitatis Mariae Curie-Skłodowska” 2 (1947), z. 5.

McArthur R. P.: Tense Logic, (Synthese Library, vol. 111), Dordrecht–Boston: D. Reidel Publishing Company 1976.

McArthur R. P., Leblanc H.: A Completeness Result for Quantificational Tense Logic, „Zeitschrift für Mathematische Logik und Grundlagen der Mathematik” 22 (1976), s. 89-96.

Pnueli A.: The temporal logic of programs, [w:] Proceedings of the 18th IEEE Symposium on Foundations of Computer Science. Providence, Rhode Island: 31 X – 2 XI 1977, New York. IEEE Computer Society Press 1977, s. 46-67.

Prior A. N.: Time and Modality, Oxford: Clarendon Press 1957.

Prior A. N.: Past, Present and Future, Oxford: Oxford University Press 1967.

Rescher N.: Topics in Philosophical Logics, (Synthese Library), Dordrecht: D. Reidel Publishing Company 1968.

Rescher N., Urquhart A.: Temporal Logic, New York: Springer 1971.

Suszko R.: Logika formalna a niektóre zagadnienia teorii poznania. Diachroniczna logika formalna, „Myśl Filozoficzna” 1957, nr 2 (28), s. 27-56 oraz nr 3 (29), s. 34-67.

Von Wright G. H.: And Next, „Acta Philosophica Fennica” 18 (1965), s. 293-304.

Von Wright G. H.: And Then, „Commentationes Physico-Mathematicae” 32 (1966), nr 7, s. 1-11.

Wajszczyk J.: Logika a czas i zmiana, Olsztyn: WSP 1995.