Projects funded by the NCN

Selected SMT-based model checking methods

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Agnieszka Małgorzata Zbrzezny

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

Investigation of neurovascular coupling during the execution and imagination of motor task by means of NIRS/EEG techniqu...

Call: OPUS 8 , Panel: ST7

Principal investigator: prof. Katarzyna Joanna Cieślak-Blinowska

Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza Polskiej Akademii Nauk

Studying neural interactions between tactile and visual reading as a way to verify the standard model of brain organizat...

Call: PRELUDIUM 8 , Panel: HS6

Principal investigator: dr Łukasz Bola

Uniwersytet Jagielloński, Wydział Filozoficzny

Modality-general and modality-specific plastic changes when learning a second language

Call: HARMONIA 6 , Panel: HS6

Principal investigator: dr Artur Marcin Marchewka

Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk

On finitely branching Kripke frames in modal logics

Call: OPUS 5 , Panel: HS1

Principal investigator: dr hab. Zofia Jadwiga Kostrzycka

Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki

Recognition of multi-modal patterns in full-slide histopathological images using large vision and language models.

Call: OPUS 28 , Panel: ST6

Principal investigator: prof. Bogusław Antoni Cyganek

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

The Puzzles of Modal Variation

Call: SONATINA 8 , Panel: HS1

Principal investigator: dr Aleksander Jędrzej Domosławski

Uniwersytet im. Adama Mickiewicza w Poznaniu

The Method of Thought Experiments and the Epistemology of Essence

Call: OPUS 26 , Panel: HS1

Principal investigator: dr Krzysztof Andrzej 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ł Tomasz Godziszewski

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Post completeness vs neighborhood completeness in classical modal logics

Call: PRELUDIUM 22 , Panel: HS1

Principal investigator: Krzysztof Aleksander Krawczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Dynamic epistemic logic and the problem of logical omniscience

Call: PRELUDIUM 21 , Panel: HS1

Principal investigator: Arkadiusz Jerzy Wójcik

Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

Transcendental Arguments. Models and Applications

Call: PRELUDIUM 21 , Panel: HS1

Principal investigator: Stanisław Jędrczak

Uniwersytet Warszawski, Wydział Filozofii

Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

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 Jennifer Drozdowska

Katolicki Uniwersytet Lubelski Jana Pawła II

Extensional Ontology and Philosophical Logic

Call: OPUS 2 , Panel: HS1

Principal investigator: dr hab. Andrzej Paweł Biłat

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

Smart support system for the Magnetic Force Induced Vibration Evaluation (M5) - an electromagnetic, non-destructive meth...

Call: PRELUDIUM 20 , Panel: ST7

Principal investigator: Paweł Karol Frankowski

Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Elektryczny

Time, Truth and modality

Call: SONATA 16 , Panel: HS1

Principal investigator: dr Jacek Marcin 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

Around Modal Logics - Decidability and Complexity

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Spatial scaling in children and adults: The role of perceptual modality, visual experience, and cognitive style

Call: ALPHORN 1 , Panel: HS6

Principal investigator: dr Magdalena Marta Szubielska

Katolicki Uniwersytet Lubelski Jana Pawła II w Lublinie

Characterization of ocular biomechanics in vivo in age-related eye diseases using novel optical modality

Call: OPUS 16 , Panel: NZ5

Principal investigator: dr hab. Ireneusz Paweł Grulkowski

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Novel method of Physical Modal Basis Generation for Reduced Order Flow Models

Call: OPUS 1 , Panel: ST8

Principal investigator: prof. Marek Morzyński

Politechnika Poznańska, Wydział Maszyn Roboczych i Transportu

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Sequent- and tableau-based proof systems for nonclassical logics

Call: OPUS 13 , Panel: HS1

Principal investigator: prof. Andrzej Bogusław Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Diagnosis of selected gait abnormalities based on multi-modal acquisition of motion.

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Adam Świtoński

Polsko-Japońska Akademia Technik Komputerowych, Wydział Zamiejscowy Informatyki w Bytomiu

Comparative analysis of essentialism and haecceitism in the light of their modal and ontological commitments

Call: PRELUDIUM 13 , Panel: HS1

Principal investigator: Karol Zachariasz 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

Reminiscences on Jaśkowski - logico-philosophical investigations inspired by works on discussive logic

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 Andrzej Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Does processing of unconscious stimuli depend on the type of task and the required response modality?

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 Grzegorz 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 Polskiej Akademii Nauk

Are neural correlates of consciousness modality-independent? Studying activity and functional connectivity of the brain ...

Call: SONATA 9 , Panel: HS6

Principal investigator: dr Michał Bola

Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk