Wszystkie pola: logika systemów

Skocz do pozycji: 1.

Tytuł:: Logika temporalna w informatyce
Temporal Logic in Computer Science
Autorzy:: Trzęsicki, Kazimierz
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
informatyka
logika temporalna
weryfikowanie systemów informatycznych
logic
computer science
temporal logic
verification of software systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Geneza niektórych systemów logiki temporalnej
The Origin of Some Systems of Temporal Logic
Autorzy:: Kozanecka-Dymek, Anna
Data publikacji:: 2009
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: geneza
logika temporalna
zwroty czasowe
funktory czasowe
origin
temporal logic
tense clauses
temporal functors; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Zastosowanie systemów pośrednich między S4 A S5 w kontekstach epistemicznych
Application of Systems that are Intermediate between S4 and S5 in Epistemic Contexts
Autorzy:: Lechniak, Marek
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika modalna
systemy logiki modalnej
wiedza
przekonanie
pojęcia epistemiczne
modal logic
systems of modal logic
knowledge
belief
epistemic concepts; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: O wyrażalności niektórych relacji czasowych i własności czasu w języku systemów logiki temporalnej G. H. von Wrighta
On the Expression of Temporal Relations and Properties of Time in the Language of the System of G. H. von Wright’s Temporal Logic
Autorzy:: Kozanecka, Anna
Leszczyńska, Magdalena
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: czas
własności czasowe
relacje czasowe
logika temporalna
And Next
And Then
wyrażalność
adekwatność
zastosowanie
time
temporal properties
temporal relations
temporal logic
expression
adequacy
application; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja