Projects funded by the NCN

A proposed model of the upward movement voids to the surface, causing discontinuous deformations

Call: OPUS 8 , Panel: ST10

Principal investigator: dr Agnieszka Malinowska

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geodezji Górniczej i Inżynierii Środowiska

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

Numerical and structural invariants in algebra, logic and constraint satisfaction problems

Call: MAESTRO 6 , Panel: ST6

Principal investigator: prof. Paweł Maria Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Groups definable in valued fields, definable Kneser-Tits problem and metastable theories

Call: SONATA 7 , Panel: ST1

Principal investigator: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

Call: OPUS 6 , Panel: HS1

Principal investigator: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Development and implementation of model checking methods for real-time and multi-agent systems

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Bożena Woźna-Szcześniak

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

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

parameters of finite models

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analysis of quantitative models of computation

Call: SONATA BIS 14 , Panel: ST6

Principal investigator: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Higher-order logic and absoluteness phenomena in set theory

Call: SONATA 19 , Panel: HS1

Principal investigator: dr Bartosz Wcisło

Uniwersytet Gdański, Wydział Nauk Społecznych

Dynamics modeling of four-wheeled mobile robot and tracking control of its motion with limitation of wheels slip

Call: OPUS 2 , Panel: ST7

Principal investigator: dr hab. Maciej Tomasz Trojnacki

Sieć Badawcza ŁUKASIEWICZ - Przemysłowy Instytut Automatyki i Pomiarów PIAP

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

Structure and algorithms for graph classes defined by transduction-closed properties

Call: SONATA 18 , Panel: ST6

Principal investigator: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Polynomial finite state computation

Call: MAESTRO 14 , Panel: ST6

Principal investigator: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

First Order Logic and Beyond. Some Puzzles in Database Theory.

Call: OPUS 23 , Panel: ST6

Principal investigator: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Continuous logic and its algebraic applications

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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ł 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

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

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