Projekty finansowane przez NCN

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

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 Krawczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy

Konkurs: PRELUDIUM 21 , panel: HS1

Kierownik: Arkadiusz Wójcik

Uniwersytet w Białymstoku, Instytut Filozofii

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 i aksjomatyzacja

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 Drozdowska

Katolicki Uniwersytet Lubelski Jana Pawła II

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

Czas, prawda i modalność

Konkurs: SONATA 16 , panel: HS1

Kierownik: dr Jacek 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

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

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