Projects funded by the NCN

Model-theoretic methods in logic and the foundations of mathematics and science

Call: OPUS 15 , Panel: HS1

Principal investigator: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Process-aware Analytics Support based on Conceptual Models for Event Logs

Call: UNISONO , Panel: ST6

Principal investigator: prof. Grzegorz Nalepa

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Truth theories and their strength

Call: OPUS 14 , Panel: HS1

Principal investigator: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii

Sequent- and tableau-based proof systems for nonclassical logics

Call: OPUS 13 , Panel: HS1

Principal investigator: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Open problems in valuation theory in positive characteristic

Call: OPUS 13 , Panel: ST1

Principal investigator: prof. Franz-Viktor Kuhlmann

Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny

Fundamental ontological issues and contemporary physics

Call: OPUS 13 , Panel: HS1

Principal investigator: dr hab. Tomasz Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Data-driven tests for censored data

Call: OPUS 13 , Panel: ST1

Principal investigator: dr Grzegorz Wyłupek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Niestandardowe modele arytmetyki i formalne teorie prawdy

Call: ETIUDA 5 , Panel: HS1

Principal investigator: Michał Godziszewski

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

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Algebraic and topological methods in model theory

Call: SONATA BIS 6 , Panel: ST1

Principal investigator: prof. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Spatiotemporal histories: theory and applications

Call: HARMONIA 8 , Panel: HS1

Principal investigator: prof. Tomasz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Model-theoretic and algebraic properties of separably closed G-fields.

Call: PRELUDIUM 11 , Panel: ST1

Principal investigator: Daniel Hoffmann

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Teoria modeli z działaniem grupy skończonej

Call: ETIUDA 4 , Panel: ST1

Principal investigator: Daniel Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

New methods of parametric modelling of consumer's preferences

Call: SONATA 10 , Panel: HS4

Principal investigator: prof. Mikołaj Czajkowski

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Model theory and topological dynamics

Call: OPUS 10 , Panel: ST1

Principal investigator: dr hab. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Modern methods in complex affine geometry.

Call: SONATA BIS 5 , Panel: ST1

Principal investigator: dr Karol Palka

Instytut Matematyczny Polskiej Akademii Nauk

Extremal axioms: logical, mathematical and cognitive aspects

Call: OPUS 9 , Panel: HS1

Principal investigator: prof. Jerzy Pogonowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki