Wszystkie pola: Intuitionistic modal logic

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ę "Intuitionistic modal logic" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 15

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Relational and neighborhood semantics for intuitionistic modal logic
Autorzy:: Kojima, Kensuke
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Relational and Neighborhood Semantics for Intuitionistic Modal Logic
Autorzy:: Kojima, Kensuke
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: 3.

Tytuł:: Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
Autorzy:: Witczak, Tomasz
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: intuitionistic modal logic
neighbourhood semantics
topological semantics
Kripke frames
soundness and completeness; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Relational and neighborhood semantics for intuitionistic modal logic
Autorzy:: Kojima, K.
Data publikacji:: 2012
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Topological and multi-topological frames in the context of intuitionistic modal logic
Autorzy:: Witczak, Tomasz (matematyk) Autor
Współwytwórcy:: Instytut Matematyki (Uniwersytet Śląski)
Data publikacji:: 2019
Tematy:: Semantyka Kripkego
Logika intuicjonistyczna
Metamatematyka
Topologia
Logika modalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A fragment of Intuitionistic Dynamic Logic
Autorzy:: Celani, S.A.
Data publikacji:: 2001
Słowa kluczowe:: modal logic
Intuitionistic Modal Logic
dynamic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

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

Tytuł:: The principle of duality in logic and philosophy
Принцип дуальності в логіці і філософії
Autorzy:: Shramko Yaroslav
Data publikacji:: 2016-06-15
Tematy:: duality principle, classical logic, modal logic, intuitionistic logic, dual-intuitionistic
logic, modal translation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
Autorzy:: Sticht, M.
Data publikacji:: 2018
Słowa kluczowe:: dialogue
proof search
intuitionistic logic
modal logic
game theories
parallel reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: What Are Justification Logics?
Autorzy:: Fitting, Melvin
Data publikacji:: 2019
Słowa kluczowe:: BHK semantics
intuitionistic logic
justification logic
logic of proofs
modal logic
realization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 15

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

Informacja

Wyszukujesz frazę "Intuitionistic modal logic" wg kryterium: Wszystkie pola