Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

275 projects found matching your search criteria :

  1. Non-Fregean approach to Dunn-Epstein's content relationship logic

    Call: OPUS 29 , Panel: HS1

    Principal investigator: dr Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika

  2. From Games to Algorithms: Exploring Reasoning in Description Logics

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

  3. Everything I know: a syntactical approach to only-knowing

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

  4. Polishability of analytic equivalence relations and generalized Scott analysis

    Call: PRELUDIUM 24 , Panel: ST1

    Principal investigator: Mateusz Lichman

    Politechnika Łódzka

  5. Insolubilia: The First Medieval Discussions of Logical Antinomies

    Call: OPUS 29 , Panel: HS1

    Principal investigator: dr hab. Magdalena Ewa Bieniak-Nowak

    Uniwersytet Warszawski

  6. Integrated perovskite-polariton circuits for spin logic

    Call: OPUS 28 , Panel: ST3

    Principal investigator: dr Helgi Sigurdsson

    Uniwersytet Warszawski

  7. What could we know about the global structure of black hole spacetimes?

    Call: OPUS 28 , Panel: HS1

    Principal investigator: dr Juliusz Doboszewski

    Uniwersytet Jagielloński

  8. Reasons of the others: concession and counterargument in polylogues

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr hab. Marcin Jan Koszowy

    Politechnika Warszawska

  9. Structural complexity measures for foundational theories

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  10. Analysis of quantitative models of computation

    Call: SONATA BIS 14 , Panel: ST6

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  11. Probabilistic aspects of Fraïssé limits

    Call: PRELUDIUM 23 , Panel: ST1

    Principal investigator: Agnieszka Maria Widz

    Politechnika Łódzka

  12. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

  13. Borel complexity of ideals on countable sets and sets of limit points

    Call: OPUS 27 , Panel: ST1

    Principal investigator: dr hab. Adam Marek Kwela

    Uniwersytet Gdański

  14. Meta-theoretical and inter-theoretical reductions in foundations of mathematics

    Call: OPUS 27 , Panel: HS1

    Principal investigator: Maciej Głowacki

    Uniwersytet Warszawski

  15. Time in Quantum Mechanics: Comparing Interpretations of Quantum Mechanics through the Problem of Time

    Call: PRELUDIUM 23 , Panel: HS1

    Principal investigator: Jakub Róg

    Uniwersytet Warszawski

  16. Robert Halifax's Theory of the Will and Its Impact on Vienna's Voluntarism in the 15th Century

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi

  17. The Puzzles of Modal Variation

    Call: SONATINA 8 , Panel: HS1

    Principal investigator: dr Aleksander Jędrzej Domosławski

    Uniwersytet im. Adama Mickiewicza w Poznaniu

  18. Philosophical-logical foundations of mechanistic causation

    Call: SONATINA 8 , Panel: HS1

    Principal investigator: dr Michał Oleksowicz

    Uniwersytet Mikołaja Kopernika

  19. Meta-analyses in experimental philosophy

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Bartosz Maćkiewicz

    Uniwersytet Warszawski, Wydział Filozofii

  20. Relation based semantics: axiomatic and tableaux proof-calculi

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr hab. Tomasz Dariusz Jarmużek

    Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

  21. Agents in Evolutionary Biology. Case study: the concept of Unity-of-Purpose

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Adrian Krzysztof Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  22. 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

  23. Practice-based research: investigating research practices, outputs and impacts in Belgium-Flanders, Poland, and Switzerl...

    Call: OPUS 26 (LAP) , Panel: HS2

    Principal investigator: dr Kamila Lewandowska

    Uniwersytet Warszawski, Instytut Ameryk i Europy

  24. The Paradox of Analysis

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr Maciej Dawid Sendłak

    Uniwersytet Warszawski, Wydział Filozofii

  25. Generic large cardinals and determinacy

    Call: WEAVE-UNISONO , Panel: ST1

    Principal investigator: dr hab. Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  26. Fundamental laws of nature and their roles in metaphysics

    Call: SONATA 19 , Panel: HS1

    Principal investigator: dr Joanna Luc

    Uniwersytet Jagielloński, Wydział Filozoficzny

  27. Forcing axioms, inner models and determinacy

    Call: MAESTRO 15 , Panel: ST1

    Principal investigator: dr Grigor Sargsyan

    Instytut Matematyczny Polskiej Akademii Nauk

  28. 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

  29. A Machian framework for quantum physics

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Antonio Vassallo

    Politechnika Warszawska

  30. Free and iterative operators on fields

    Call: PRELUDIUM 22 , Panel: ST1

    Principal investigator: dr Jakub Gogolok

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  31. Sustainable Business Model (SBM) for Small and Medium-Sized Enterprises (SMEs): South Asian Perspective

    Call: PRELUDIUM 22 , Panel: HS4

    Principal investigator: Binayak Malla

    Uniwersytet Warszawski, Wydział Zarządzania

  32. BIOlogical Perspectivism and Individualisation (BIOPI).Understanding What a Perspective Isfor Organisms, Species, and Ec...

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  33. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  34. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  35. Metaphilosophy of Legal Interpretation

    Call: OPUS 25 , Panel: HS5

    Principal investigator: dr hab. Adam Michał Dyrda

    Uniwersytet Jagielloński, Jagiellońskie Centrum Badawcze "Prawo – Język – Filozofia"

  36. Between proof theory, reverse mathematics, and the model theory of arithmetic

    Call: OPUS 25 , Panel: ST1

    Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Philosophy of Science for the Replication Crisis

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Mariusz Łukasz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

  38. Philosophical Analysis of the Black Box Problem: Scientific Understanding and Explainable Artificial Intelligence

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Marcin Piotr Rabiza

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk, Szkoła Nauk Społecznych

  39. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

  40. Epistemic inaccuracy -- what's next?

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Leszek Jerzy Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

  41. Side Conditions and the Saturation of the Non-stationary Ideal

    Call: POLONEZ BIS 3 , Panel: ST1

    Principal investigator: dr Rahman Mohammadpour

    Instytut Matematyczny Polskiej Akademii Nauk

  42. Representations of algebraic semantics for substructural logics

    Call: OPUS 24 (LAP) , Panel: HS1

    Principal investigator: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  43. 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

  44. At the Intersections of Ethics, Philosophy of Nature, and Logic. Richard FitzRalph's and Richard Kilvington's Voluntaris...

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

  45. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  46. Logical and epistemological criteria of salience in the foundations of mathematics

    Call: SONATA BIS 12 , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

  47. 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

  48. Investigation of the use of the concept communication" in biology and cognitive sciences

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Wiktor Marcin Rorot

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  49. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  50. 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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy