Wszystkie pola: logic systems

Skocz do pozycji: 1.

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: 2.

Tytuł:: Przyczynek do analizy wartości poznawczej systemów logiki sprawczości
Contribution to the Cognitive Value of Systems of Logic of Agency
Autorzy:: Trypuz, Robert
Data publikacji:: 2009
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: sprawczość
działanie
Davidson
Belnap
STIT
agency
action; 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 związkach między uproszczoną semantyką S. Kripkego dla systemów logiki modalnej a ujęciem algebraicznym syntaktyki tych systemów i ich semantyki
On the Relations between S. Kripkes Simplified Semantics for the Systems of Modal Logic and an Algebraical Approach to the Syntax of these Systems and their Semantics
Autorzy:: Czernecka, Bożena
Data publikacji:: 2020-11-13
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

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: 6.

Tytuł:: Założeniowe systemy normalnych logik modalnych
Natural Deduction Systems of Normal Modal Logics
Autorzy:: Tkaczyk, Marcin
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika modalna
normalna logika modalna
dedukcja naturalna
system założeniowy
modal logic
normal modal logic
natural deduction; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja