Wszystkie pola: Logic of Time - Prolib Integro

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

Wyszukujesz frazę "Logic of Time" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 84

Zaznacz

Skocz do pozycji: 1.

Tytuł:: The Logic of Time and Modality, edd. Torben Braüner, Per Hasle and Peter Øhrstrøm, „Synthese” Volume 150, Number 3/June, 2006
Autorzy:: Lechniak, Marek
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The logic in time of crisis
Logika czasu kryzysu
Autorzy:: Suchoń, Wojciech
Data publikacji:: 2013
Wydawca:: Wydawnictwo Uniwersytetu Jagiellońskiego
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: O rodzajach logik temporalnych
Autorzy:: Kozanecka, Anna
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: METÓDY ABSTRAKCIE, IDEALIZÁCIE A KONKRETIZÁCIE V LOGIKE: PRÍPAD POSUNUTÉHO ČASU VO FAKTUÁLNÝCH KONDICIONÁLOCH
Methods of abstraction, idealization and concretization in logic: the case of shifted time in factual conditionals
Autorzy:: Gahér František
Tematy:: ABSTRACTION
IDEALIZATION
CONCRETIZATION
TIME
FACTUAL CONDITIONS
ABBREVIATIONS OF ARGUMENTS; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Strong normalization of a typed lambda calculus for intuitionistic bounded linear - time temporal logic
Autorzy:: Kamide, N.
Data publikacji:: 2012
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: HIGHLIGHTS IN THE DEVELOPMENT OF TENSE-LOGIC
Autorzy:: Øhrstrøm Peter
Tematy:: TENSE LOGIC
ARTHUR NORMAN PRIOR
TIME
MODALITY
DETERMINISM; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic
Autorzy:: Kamide, Norihiro
Data publikacji:: 2012
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Logic of Algorithmic Knowledge
Autorzy:: Dariusz Surowik
Data publikacji:: 2015-09-01
Tematy:: time
algorithmic knowledge
epistemic logic
temporal logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Interpolation theorems for some variants of LTL
Autorzy:: Kamide, N.
Data publikacji:: 2015
Słowa kluczowe:: Craig interpolation theorem
linear-time temporal logic
infinitary logic
paraconsistent logic
sequent calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: ANALYSIS OF TIME REFERENCES IN NATURAL LANGUAGE BY MEANS OF TRANSPARENT INTENSIONAL LOGIC
Autorzy:: Duží Marie
Macek Jakub
Tematy:: CALENDAR
TIME
TIL
TRANSPARENT INTENSIONAL LOGIC; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 84

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