Zmiana języka

Projects search

Change search criteria ↓

Search results

125 projects found matching your search criteria:

  1. 1. Dynamic epistemic logic and the problem of logical omniscience

    Principal investigator: Arkadiusz Jerzy Wójcik

    Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

    Call: PRELUDIUM 21, Panel: HS1

  2. 2. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 21, Panel: ST6

  3. 3. Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical …

    Principal investigator: dr Robert Trypuz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

    Call: SONATA 1, Panel: HS1

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

    Principal investigator: prof. Andrzej Pietruszczak

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

    Call: OPUS 22, Panel: HS1

  5. 5. Extensional Ontology and Philosophical Logic

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

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

    Call: OPUS 2, Panel: HS1

  6. 6. Relationships between algebraic, modal and many-valued quantum logics

    Principal investigator: Elżbieta Jennifer Drozdowska

    Katolicki Uniwersytet Lubelski Jana Pawła II

    Call: PRELUDIUM 20, Panel: HS1

  7. 7. Decision Problems for Logics with Weak Forms of Recursion

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

    Call: PRELUDIUM 23, Panel: ST6

  8. 8. Hybridizing Fragments of Halpern-Shoham Logic

    Principal investigator: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: PRELUDIUM 12, Panel: HS1

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

    Principal investigator: dr Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika

    Call: OPUS 29, Panel: HS1

  10. 10. Higher-order logic and absoluteness phenomena in set theory

    Principal investigator: dr Bartosz Wcisło

    Uniwersytet Gdański, Wydział Nauk Społecznych

    Call: SONATA 19, Panel: HS1

  11. 11. Equivalence in Substructural Logics

    Principal investigator: prof. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 23, Panel: HS1

  12. 12. Theories of epistemic and ontic modalities with the primitive concept of change. Extensions of Logic of Change LC

    Principal investigator: Marcin Łyczak

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

    Call: PRELUDIUM 13, Panel: HS1

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

    Principal investigator: dr hab. Marek Nasieniewski

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

    Call: OPUS 12, Panel: HS1

  14. 14. Automatic reasoning about specifications in simple logics - decidability and complexity issues

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

    Call: OPUS 5, Panel: ST6

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

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

  16. 16. Sequent- and tableau-based proof systems for nonclassical logics

    Principal investigator: prof. Andrzej Bogusław Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: OPUS 13, Panel: HS1

  17. 17. Logics of Situations

    Principal investigator: dr hab. Joanna Golińska-Pilarek

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 13, Panel: HS1

  18. 18. A quest for new computer logics

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 11, Panel: ST6

  19. 19. Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives

    Principal investigator: Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

    Call: PRELUDIUM 10, Panel: HS1

  20. 20. On finitely branching Kripke frames in modal logics

    Principal investigator: dr hab. Zofia Jadwiga Kostrzycka

    Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki

    Call: OPUS 5, Panel: HS1

  21. 21. Logic of language experience

    Principal investigator: dr Konrad Zdanowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 2, Panel: HS1

  22. 22. Many-valued logic of Jan Łukasiewicz as a basis for a new interpretation of quantum mechanics

    Principal investigator: dr hab. Jarosław Pykacz

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

    Call: OPUS 2, Panel: HS1

  23. 23. Deductive systems and decidability problem for hybrid logics

    Principal investigator: dr Michał Ksawery Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: PRELUDIUM 1, Panel: HS1

  24. 24. Insolubilia: The First Medieval Discussions of Logical Antinomies

    Principal investigator: dr hab. Magdalena Ewa Bieniak-Nowak

    Uniwersytet Warszawski

    Call: OPUS 29, Panel: HS1

  25. 25. Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

    Principal investigator: dr Michał Tomasz Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: OPUS 25, Panel: HS1

  26. 26. Temporal Logic and Philosophy of Cyclic Non-deterministic World

    Principal investigator: dr Marcin Łyczak

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Humanistyczny

    Call: OPUS 25, Panel: HS1

  27. 27. Post completeness vs neighborhood completeness in classical modal logics

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: PRELUDIUM 22, Panel: HS1

  28. 28. Automation of the Problem of Unification in Description Logics

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

    Call: POLONEZ BIS 3, Panel: ST6

  29. 29. Representations of algebraic semantics for substructural logics

    Principal investigator: prof. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: OPUS 24 (LAP), Panel: HS1

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

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

    Call: OPUS 24, Panel: HS1

  31. 31. Analysis and development of acoustical logical devices based on nonlinear elastic metamaterials

    Principal investigator: dr hab. Paweł Leszek Paćko

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Mechanicznej i Robotyki

    Call: OPUS 16, Panel: ST8

  32. 32. Deontic logic for autonomous vehicles

    Principal investigator: prof. Piotr Wojciech Kulicki

    Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

    Call: HARMONIA 9, Panel: HS1

  33. 33. Philosophical and formal analysis of qualitative spatial logics

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

    Call: SONATA 13, Panel: HS1

  34. 34. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

    Principal investigator: dr hab. Dorota Leszczyńska-Jasion

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

    Call: SONATA BIS 7, Panel: HS1

  35. 35. Hybrid materials on the verge of fuzzy logic systems and neuromorphic computing devices

    Principal investigator: Kacper Krzysztof Pilarczyk

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

    Call: PRELUDIUM 11, Panel: ST3

  36. 36. A unified logical framework for reasoning about deontic properties of actions and states of affairs

    Principal investigator: dr Robert Trypuz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

    Call: OPUS 9, Panel: HS1

  37. 37. Compression, logic, formal langauges: new approaches unifying different areas.

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 8, Panel: ST6

  38. 38. Logics for data analysis and verification

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 8, Panel: ST6

  39. 39. Asymptotic methods in lambda calculus and combinatory logic

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 6, Panel: ST6

  40. 40. Analysis of logical and mathematical assumptions in Piero della Francesca's treatises

    Principal investigator: dr hab. Ryszard Romuald Mirek

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

    Call: OPUS 4, Panel: HS1

  41. 41. Automatisation of constructive logic

    Principal investigator: dr hab. Aleksy Andrzej Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 4, Panel: ST6

  42. 42. New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

    Principal investigator: prof. Jan Hertrich-Woleński

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

    Call: OPUS 4, Panel: HS1

  43. 43. Positional logic - metatheory and applications

    Principal investigator: dr hab. Marcin Tkaczyk

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

    Call: SONATA BIS 1, Panel: HS1

  44. 44. Realization of logic gates in chiral nematic liquid crystals in a wedge-shaped cell

    Principal investigator: dr Urszula Anna Laudyn

    Politechnika Warszawska, Wydział Fizyki

    Call: SONATA 3, Panel: ST7

  45. 45. Economy and literature. Relationships between logic of the economy and literary mimesis.

    Principal investigator: Michał Krzysztof Sowiński

    Uniwersytet Jagielloński, Wydział Polonistyki

    Call: PRELUDIUM 3, Panel: HS2

  46. 46. Modeling cooperation of agents by multivalued logics and parallel processing

    Principal investigator: prof. Adam Borkowski

    Instytut Podstawowych Problemów Techniki Polska Akademia Nauk

    Call: OPUS 3, Panel: ST6

  47. 47. Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

    Principal investigator: prof. Andrzej Wiśniewski

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

    Call: MAESTRO 2, Panel: HS1

  48. 48. Around Modal Logics - Decidability and Complexity

    Principal investigator: Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 2, Panel: ST6

  49. 49. Logics for qualitative reasoning

    Principal investigator: dr hab. Joanna Golińska-Pilarek

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: MAESTRO 1, Panel: HS1

  50. 50. Integrated perovskite-polariton circuits for spin logic

    Principal investigator: dr Helgi Sigurdsson

    Uniwersytet Warszawski

    Call: OPUS 28, Panel: ST3

Graphic design and implementation: Jakub Piotrowski