Projekty finansowane przez NCN

Zagadki zróżnicowania modalnego

Konkurs: SONATINA 8 , panel: HS1

Kierownik: dr Aleksander Domosławski

Uniwersytet im. Adama Mickiewicza w Poznaniu

Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Michał Godziszewski

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych

Konkurs: PRELUDIUM 22 , panel: HS1

Kierownik: Krzysztof Aleksander Krawczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy

Konkurs: PRELUDIUM 21 , panel: HS1

Kierownik: Arkadiusz Jerzy Wójcik

Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

Argumentacje transcendentalne. Modele i zastosowania

Konkurs: PRELUDIUM 21 , panel: HS1

Kierownik: Stanisław Jędrczak

Uniwersytet Warszawski, Wydział Filozofii

Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe iaksjomatyzacja

Konkurs: OPUS 22 , panel: HS1

Kierownik: prof. Andrzej Pietruszczak

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych

Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Elżbieta Jennifer Drozdowska

Katolicki Uniwersytet Lubelski Jana Pawła II

Czas, prawda i modalność

Konkurs: SONATA 16 , panel: HS1

Kierownik: dr Jacek Marcin Wawer

Uniwersytet Jagielloński, Wydział Filozoficzny

Logiczno-filozoficzne podstawy geometrii i topologii

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr hab. Rafał Gruszczyński

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych

Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

Konkurs: OPUS 13 , panel: HS1

Kierownik: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Fundamentalne zagadnienia ontologiczne a fizyka współczesna

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Tomasz Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Reminiscencje na temat Jaśkowskiego - logiczno-filozoficzne badania inspirowane pracami na temat logiki dyskusyjnej

Konkurs: OPUS 12 , panel: HS1

Kierownik: dr hab. Marek Nasieniewski

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych

Hybrydyzacja fragmentów logiki Halperna-Shohama

Konkurs: PRELUDIUM 12 , panel: HS1

Kierownik: Przemysław Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Czasoprzestrzenne historie - teoria i zastosowania

Konkurs: HARMONIA 8 , panel: HS1

Kierownik: prof. Tomasz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Zbrzezny

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Skończenie rozgałęzione struktury relacyjne w badaniach nad logikami modalnymi

Konkurs: OPUS 5 , panel: HS1

Kierownik: dr hab. Zofia Kostrzycka

Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki

Ontologia ekstensjonalna i logika filozoficzna

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Andrzej Biłat

Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny