Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Logics of Situations

2017/25/B/HS1/00503

Keywords:

non-Fregean logics theory of situations reasoning in non-classical logics

Descriptors:

  • HS1_4:
  • ST1_1:

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Warszawski, Wydział Filozofii

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Joanna Golińska-Pilarek 

Number of co-investigators in the project: 5

Call: OPUS 13 - announced on 2017-03-15

Amount awarded: 582 400 PLN

Project start date (Y-m-d): 2018-01-25

Project end date (Y-m-d): 2024-01-24

Project duration:: 72 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (4)
  • Articles in post-conference publications (3)
  • Book publications / chapters in book publications (2)
  1. Paraconsistency in Non-Fregean Framework
    Authors:
    Joanna Golińska-Pilarek
    Academic press:
    Studia Logica (rok: 2024, tom: Published Online: 03 May 2024, strony: 14246), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-024-10114-4 - link to the publication
  2. Deciding Non-Fregean Identities: A Dual Tableau Approach
    Authors:
    Joanna Golińska-Pilarek, Taneli Huuskonen, Michał Zawidzki
    Academic press:
    Notre Dame Journal of Formal Logic (), Wydawca: University of Notre Dame
    Status:
    Submitted
    DOI:
    brak - link to the publication
  3. Non-Fregean World of Logics
    Authors:
    Joanna Golińska-Pilarek
    Academic press:
    Journal of Philosophical Logic (), Wydawca: Springer
    Status:
    Submitted
    DOI:
    brak - link to the publication
  4. Deduction in Non-Fregean Propositional Logic SCI
    Authors:
    Joanna Golińska-Pilarek, Magdalena Welle
    Academic press:
    Axioms (rok: 2019, tom: 8, strony: 45676), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/axioms8040115 - link to the publication
  1. Modal logic with the identity connective
    Authors:
    Michał Zawidzki
    Conference:
    Advances in Modal Logic (rok: 2024, ), Wydawca: Birkbeck, University of London
    Data:
    konferencja 19-23 sierpnia 2024
    Status:
    Submitted
  2. Tableau-based Decision Procedure for the Logic SCI
    Authors:
    Joanna Golińska-Pilarek, Michał Zawidzki
    Conference:
    Overlay 2019 Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (rok: 2019, ), Wydawca: CEUR Workshop Proceedings
    Data:
    konferencja 19-20 listopada 2019
    Status:
    Published
  3. Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity
    Authors:
    Joanna Golińska-Pilarek, Taneli Huuskonen, Michał Zawidzki
    Conference:
    28th International Conference on Automated Deduction - CADE 28 (rok: 2021, ), Wydawca: Springer
    Data:
    konferencja 12-15 lipca 2021
    Status:
    Published
  1. Dedukcyjne dylematy: przypadek niefregowski
    Authors:
    Joanna Golińska-Pilarek
    Book:
    Wędrówki po świecie symboli. Język, logika, matematyka (rok: 2021, tom: I, strony: 43-76), Wydawca: Wydawnictwo Rys
    Status:
    Published
  2. Panorama zdaniowych logik niefregowskich
    Authors:
    Joanna Golińska-Pilarek
    Book:
    Język – struktura – ontologia. Pamięci Romana Suszki (rok: 2023, tom: Wydanie 1, strony: 19-87), Wydawca: Wydawnictwo Nauk Społecznych i Humanistycznych UAM
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy