Zmiana języka

Projects search

Change search criteria ↓

Search results

279 projects found matching your search criteria:

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

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

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

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

  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. Hybridizing Fragments of Halpern-Shoham Logic

    Principal investigator: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: PRELUDIUM 12, Panel: HS1

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

    Principal investigator: dr Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika

    Call: OPUS 29, Panel: HS1

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

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

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

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

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

  14. 14. Logics of Situations

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

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 13, Panel: HS1

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

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

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

  18. 18. Logic of language experience

    Principal investigator: dr Konrad Zdanowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 2, Panel: HS1

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

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

    Principal investigator: dr Michał Ksawery Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: PRELUDIUM 1, Panel: HS1

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

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

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

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

    Call: PRELUDIUM 23, Panel: ST6

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

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

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: PRELUDIUM 22, Panel: HS1

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

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

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

    Call: SONATA 13, Panel: HS1

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

  28. 28. Logics for qualitative reasoning

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: MAESTRO 1, Panel: HS1

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

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

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

  32. 32. Around Modal Logics - Decidability and Complexity

    Principal investigator: Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 2, Panel: ST6

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

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

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

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

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

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

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

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

  41. 41. Continuous logic and its algebraic applications

    Principal investigator: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 1, Panel: ST1

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

    Principal investigator: dr Helgi Sigurdsson

    Uniwersytet Warszawski

    Call: OPUS 28, Panel: ST3

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

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 23, Panel: ST6

  44. 44. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

    Call: OPUS 16, Panel: ST6

  45. 45. Finding Applications for Logic with Partial Functions

    Principal investigator: dr hab. Jean Marie de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 9, Panel: ST6

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

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

  48. 48. The categories of qualitativeness and individuality in logic, ontology and physics

    Principal investigator: prof. Tomasz Franciszek Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 22, Panel: HS1

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

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 15, Panel: HS1

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

    Principal investigator: prof. Paweł Maria Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: MAESTRO 6, Panel: ST6

Graphic design and implementation: Jakub Piotrowski