Temat: MODAL LOGIC - 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ę "MODAL LOGIC" wg kryterium: Temat

Wyświetlanie 1-10 z 23

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A Note on the Intuitionistic Logic of False Belief
Autorzy:: Witczak, Tomasz
Data publikacji:: 2021-09-01
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Intuitionistic modal logic
non-normal modal logic
neighborhood semantics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: From Intuitionism to Brouwers Modal Logic
Autorzy:: Kostrzycka, Zofia
Data publikacji:: 2020-12-30
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: intuitionistic logic
Kripke frames
Brouwer's modal logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A Sound Interpretation of Leśniewskis Epsilon in Modal Logic KTB
Autorzy:: Inoue, Takao
Data publikacji:: 2021-11-09
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Le´sniewski’s ontology
propositional ontology
translation
interpretation
modal logic
KTB
soundness
Grzegorczyk’s modal logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On Paracomplete Versions of Jaśkowskis Discussive Logic
Autorzy:: Mruczek-Nasieniewska, Krystyna
Petrukhin, Yaroslav
Shangin, Vasily
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: discussive logic
discursive logic
modal logic
paracomplete logic
paraconsistent logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Neighbourhood Semantics for Graded Modal Logic
Autorzy:: Chen, Jinsheng
van Ditmarsch, Hans
Greco, Giuseppe
Tzimoulis, Apostolos
Data publikacji:: 2021-07-14
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Graded modal logic
neighbourhood frames
bisimulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
Autorzy:: Tourlakis, George
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Modal logic
GL
first-order logic
proof theory
cut elimination
reflection property
disjunction property
quantified modal logic
QGL
arithmetical completeness; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: New Modification of the Subformula Property for a Modal Logic
Autorzy:: Takano, Mitio
Data publikacji:: 2020-11-04
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: subformula property
modal logic
sequent calculus
scope of □; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Linear Abelian Modal Logic
Autorzy:: Mohammadi, Hamzeh
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: many-valued logic
modal logic
abelian logic
hypersequent calculus
cut-elimination; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: An Arithmetically Complete Predicate Modal Logic
Autorzy:: Hao, Yunge
Tourlakis, George
Data publikacji:: 2021-08-23
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödels Ontological Argument
Autorzy:: Benzmüller, Christoph
Fuenmayor, David
Data publikacji:: 2020
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: computational metaphysics
ontological argument
higher-order modal logic
higher-order logic
automated reasoning
modal ultrafilters; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 23

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