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-5 z 5

Zaznacz

Skocz do pozycji: 1.

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

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

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

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

Skocz do pozycji: 5.

Tytuł:: Intuitionistic Models of Arithmetic
Autorzy:: Połacik, T.
Data publikacji:: 1999
Słowa kluczowe:: modele arytmetyki
model Kripkego
logika modalna
arithmetic models
Kripke models
modal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-5 z 5

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