Search results
18 projects found matching your search criteria:
-
Principal investigator: Marcin Łyczak
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej
Call: PRELUDIUM 13, Panel: HS1
-
2. Relationships between algebraic, modal and many-valued quantum logics
Principal investigator: Elżbieta Jennifer Drozdowska
Katolicki Uniwersytet Lubelski Jana Pawła II
Call: PRELUDIUM 20, Panel: HS1
-
3. On finitely branching Kripke frames in modal logics
Principal investigator: dr hab. Zofia Jadwiga Kostrzycka
Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki
Call: OPUS 5, Panel: HS1
-
4. Post completeness vs neighborhood completeness in classical modal logics
Principal investigator: Krzysztof Aleksander Krawczyk
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: PRELUDIUM 22, Panel: HS1
-
5. Around Modal Logics - Decidability and Complexity
Principal investigator: Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 2, Panel: ST6
-
6. Dynamic epistemic logic and the problem of logical omniscience
Principal investigator: Arkadiusz Jerzy Wójcik
Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki
Call: PRELUDIUM 21, Panel: HS1
-
7. Extensional Ontology and Philosophical Logic
Principal investigator: dr hab. Andrzej Paweł Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
Call: OPUS 2, Panel: HS1
-
8. Non-Fregean approach to Dunn-Epstein's content relationship logic
Principal investigator: dr Mateusz Klonowski
Uniwersytet Mikołaja Kopernika
Call: OPUS 29, Panel: HS1
-
Principal investigator: prof. Andrzej Pietruszczak
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Call: OPUS 22, Panel: HS1
-
10. Hybridizing Fragments of Halpern-Shoham Logic
Principal investigator: Przemysław Andrzej Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: PRELUDIUM 12, Panel: HS1
-
Principal investigator: dr hab. Marek Nasieniewski
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Call: OPUS 12, Panel: HS1
-
12. Sequent- and tableau-based proof systems for nonclassical logics
Principal investigator: prof. Andrzej Bogusław Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: OPUS 13, Panel: HS1
-
13. Deductive systems and decidability problem for hybrid logics
Principal investigator: dr Michał Ksawery Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: PRELUDIUM 1, Panel: HS1
-
14. Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic
Principal investigator: dr Michał Tomasz Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: OPUS 25, Panel: HS1
-
Principal investigator: dr Jacek Marcin Wawer
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: SONATA 16, Panel: HS1
-
16. Transcendental Arguments. Models and Applications
Principal investigator: Stanisław Jędrczak
Uniwersytet Warszawski, Wydział Filozofii
Call: PRELUDIUM 21, Panel: HS1
-
17. Logico-philosophical foundations of geometry and topology
Principal investigator: dr hab. Rafał Gruszczyński
Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych
Call: OPUS 20, Panel: HS1
-
18. Selected SMT-based model checking methods
Principal investigator: Agnieszka Małgorzata Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Call: PRELUDIUM 8, Panel: ST6