Wyniki wyszukiwania
Znaleziono 18 projektów spełniających kryteria wyszukiwania:
-
Kierownik: Marcin Łyczak
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej
Konkurs: PRELUDIUM 13, panel: HS1
-
2. Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi
Kierownik: Elżbieta Jennifer Drozdowska
Katolicki Uniwersytet Lubelski Jana Pawła II
Konkurs: PRELUDIUM 20, panel: HS1
-
3. Skończenie rozgałęzione struktury relacyjne w badaniach nad logikami modalnymi
Kierownik: dr hab. Zofia Jadwiga Kostrzycka
Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki
Konkurs: OPUS 5, panel: HS1
-
4. Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych
Kierownik: Krzysztof Aleksander Krawczyk
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: PRELUDIUM 22, panel: HS1
-
5. Wokół logik modalnych - rozstrzygalność i złożoność
Kierownik: Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 2, panel: ST6
-
6. Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy
Kierownik: Arkadiusz Jerzy Wójcik
Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki
Konkurs: PRELUDIUM 21, panel: HS1
-
7. Ontologia ekstensjonalna i logika filozoficzna
Kierownik: dr hab. Andrzej Paweł Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
Konkurs: OPUS 2, panel: HS1
-
8. Niefregowskie ujęcie logiki związku treściowego Dunna-Epsteina
Kierownik: dr Mateusz Klonowski
Uniwersytet Mikołaja Kopernika
Konkurs: OPUS 29, panel: HS1
-
9. Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe iaksjomatyzacja
Kierownik: prof. Andrzej Pietruszczak
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Konkurs: OPUS 22, panel: HS1
-
10. Hybrydyzacja fragmentów logiki Halperna-Shohama
Kierownik: Przemysław Andrzej Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: PRELUDIUM 12, panel: HS1
-
Kierownik: dr hab. Marek Nasieniewski
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Konkurs: OPUS 12, panel: HS1
-
12. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych
Kierownik: prof. Andrzej Bogusław Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: OPUS 13, panel: HS1
-
13. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych
Kierownik: dr Michał Ksawery Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: PRELUDIUM 1, panel: HS1
-
14. Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce
Kierownik: dr Michał Tomasz Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: OPUS 25, panel: HS1
-
Kierownik: dr Jacek Marcin Wawer
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: SONATA 16, panel: HS1
-
16. Argumentacje transcendentalne. Modele i zastosowania
Kierownik: Stanisław Jędrczak
Uniwersytet Warszawski, Wydział Filozofii
Konkurs: PRELUDIUM 21, panel: HS1
-
17. Logiczno-filozoficzne podstawy geometrii i topologii
Kierownik: dr hab. Rafał Gruszczyński
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Konkurs: OPUS 20, panel: HS1
-
18. Wybrane metody weryfikacji modelowej wykorzystujące testery SMT
Kierownik: Agnieszka Małgorzata Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Konkurs: PRELUDIUM 8, panel: ST6