- Tytuł:
- O rodzajach logik temporalnych
- Autorzy:
- Kozanecka, Anna
- Powiązania:
- https://bibliotekanauki.pl/articles/2013346.pdf
- Data publikacji:
- 2007
- Wydawca:
- Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
- Tematy:
-
czas gramatyczny
logika temporalna
logika czasów gramatycznych
logika czasu
And Next – „i następnie”
And Then – „i wtedy”
Tense
Temporal Logic
Tense Logic
Logic of Time
Chronological Logic
And Next
And Then - Opis:
- 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.
- Źródło:
-
Roczniki Filozoficzne; 2007, 55, 1; 189-199
0035-7685 - Pojawia się w:
- Roczniki Filozoficzne
- Dostawca treści:
- Biblioteka Nauki
Artykuł