Temat: TEMPORAL LOGIC - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Quantified temporal alethic-deontic logic
Autorzy:: Rönnedal Daniel
Data publikacji:: 2014-08-02
Tematy:: Quantified modal logic
T × W logics
temporal logic
deontic logic
semantic tableaux
Barcan formulas
possibilism
eternalism
actualism
presentism
Graham Priest; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox
Autorzy:: Rönnedal Daniel
Data publikacji:: 2018-03-15
Tematy:: T × W logics
temporal logic
modal logic
dyadic deontic logic
semantic tableaux
conditional norms
contrary-to-duty obligations
the contrary-to-duty (obligation) paradox; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: From workflow design patterns to logical specifications
Odwzorowanie wzorców projektowych w specyfikację logiczną systemu
Autorzy:: Klimek, R.
Data publikacji:: 2013
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: formal verification
temporal logic
deduction
semantic tableaux
design patterns
generating logical specification
weryfikacja formalna
logika temporalna
dedukcja
tablice semantyczne
wzorce projektowe
generowanie specyfikacji logicznej; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A system for deduction-based formal verification of workflow-oriented software models
Autorzy:: Klimek, R.
Data publikacji:: 2014
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja