25 projects found matching your search criteria :
Call: OPUS 8 , Panel: ST7
Principal investigator: prof. Katarzyna Cieślak-Blinowska
Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza PAN
Call: PRELUDIUM 8 , Panel: HS6
Principal investigator: dr Łukasz Bola
Uniwersytet Jagielloński, Wydział Filozoficzny
On finitely branching Kripke frames in modal logics
Call: OPUS 5 , Panel: HS1
Principal investigator: dr hab. Zofia Kostrzycka
Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki
The Method of Thought Experiments and the Epistemology of Essence
Call: OPUS 26 , Panel: HS1
Principal investigator: dr Krzysztof Sękowski
Uniwersytet Warszawski, Wydział Filozofii
Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic
Call: OPUS 25 , Panel: HS1
Principal investigator: dr Michał Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Post completeness vs neighborhood completeness in classical modal logics
Call: PRELUDIUM 22 , Panel: HS1
Principal investigator: Krzysztof Krawczyk
Uniwersytet Jagielloński, Wydział Filozoficzny
Dynamic epistemic logic and the problem of logical omniscience
Call: PRELUDIUM 21 , Panel: HS1
Principal investigator: Arkadiusz Wójcik
Uniwersytet w Białymstoku, Instytut Filozofii
Transcendental Arguments. Models and Applications
Call: PRELUDIUM 21 , Panel: HS1
Principal investigator: Stanisław Jędrczak
Uniwersytet Warszawski, Wydział Filozofii
Call: OPUS 22 , Panel: HS1
Principal investigator: prof. Andrzej Pietruszczak
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Relationships between algebraic, modal and many-valued quantum logics
Call: PRELUDIUM 20 , Panel: HS1
Principal investigator: Elżbieta Drozdowska
Katolicki Uniwersytet Lubelski Jana Pawła II
Extensional Ontology and Philosophical Logic
Call: OPUS 2 , Panel: HS1
Principal investigator: dr hab. Andrzej Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
Call: PRELUDIUM 20 , Panel: ST7
Principal investigator: Paweł Frankowski
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Elektryczny
Call: SONATA 16 , Panel: HS1
Principal investigator: dr Jacek Wawer
Uniwersytet Jagielloński, Wydział Filozoficzny
Logico-philosophical foundations of geometry and topology
Call: OPUS 20 , Panel: HS1
Principal investigator: dr hab. Rafał Gruszczyński
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Call: ALPHORN 1 , Panel: HS6
Principal investigator: dr Magdalena Marta Szubielska
Katolicki Uniwersytet Lubelski Jana Pawła II w Lublinie
Deductive systems and decidability problem for hybrid logics
Call: PRELUDIUM 1 , Panel: HS1
Principal investigator: dr Michał Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Sequent- and tableau-based proof systems for nonclassical logics
Call: OPUS 13 , Panel: HS1
Principal investigator: prof. Andrzej Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: PRELUDIUM 13 , Panel: HS1
Principal investigator: Karol Lenart
Uniwersytet Jagielloński, Wydział Filozoficzny
Fundamental ontological issues and contemporary physics
Call: OPUS 13 , Panel: HS1
Principal investigator: dr hab. Tomasz Bigaj
Uniwersytet Warszawski, Wydział Filozofii
Call: OPUS 12 , Panel: HS1
Principal investigator: dr hab. Marek Nasieniewski
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Hybridizing Fragments of Halpern-Shoham Logic
Call: PRELUDIUM 12 , Panel: HS1
Principal investigator: Przemysław Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: PRELUDIUM 12 , Panel: HS6
Principal investigator: Izabela Szumska
Instytut Psychologii Polskiej Akademii Nauk
Spatiotemporal histories: theory and applications
Call: HARMONIA 8 , Panel: HS1
Principal investigator: prof. Tomasz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Transport infrastructure development and modal split in the Polish space in the years 2000-2010
Call: SONATA 1 , Panel: HS4
Principal investigator: dr Piotr Rosik
Instytut Geografii i Przestrzennego Zagospodarowania im. S. Leszczyckiego PAN
Call: SONATA 9 , Panel: HS6
Principal investigator: dr Michał Bola
Instytut Biologii Doświadczalnej im. M. Nenckiego PAN