Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

O rodzajach logik temporalnych

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
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 189-199
0035-7685
Język:
polski
Prawa:
CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:
Biblioteka Nauki
Artykuł
  Przejdź do źródła  Link otwiera się w nowym oknie
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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies