Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

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

2015/19/N/HS1/02401

Keywords:

intensional connectives nonclassical logics relating connectives philosophical logic relatedness relation tableau methods tableau systems

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • HS1_2: Ontology and metaphysics, particular ontologies
  • HS1_3: Epistemology (incl. sources of knowledge, criteria of truth, philosophy of language)

Panel:

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

Host institution :

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

woj. kujawsko-pomorskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

Mateusz Klonowski 

Number of co-investigators in the project: 2

Call: PRELUDIUM 10 - announced on 2015-09-15

Amount awarded: 43 560 PLN

Project start date (Y-m-d): 2016-07-11

Project end date (Y-m-d): 2019-07-10

Project duration:: 36 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 (8)
  • Book publications / chapters in book publications (1)
  1. On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach
    Authors:
    Tomasz Jarmużek, Mateusz Klonowski
    Academic press:
    Logic and Logical Philosophy (rok: 2020, tom: 29(3), strony: 335-380), Wydawca: Uniwersytet Mikołaja Kopernika
    Status:
    Published
    DOI:
    10.12775/LLP.2020.010 - link to the publication
  2. Tableau Systems for Epistemic Positional Logics
    Authors:
    Mateusz Klonowski, Krzysztof Krawczyk, Bożena Pięta
    Academic press:
    Bulletin of the Section of Logic , Wydawca: Lódź University Press
    Status:
    Submitted
    DOI:
    brak - link to the publication
  3. A Post-style proof of completeness theorem for Symmetric Relatedness Logic S
    Authors:
    Mateusz Klonowski
    Academic press:
    Bulletin of the Section of Logic (rok: 2018, tom: 47/3, strony: 201-214), Wydawca: Wydawnictwo UŁ
    Status:
    Published
    DOI:
    10.18778/0138-0680.47.3.05 - link to the publication
  4. Axiomatization of Some Basic and Modal Boolean-Connexive Logics
    Authors:
    Mateusz Klonowski
    Academic press:
    Notre Dame Journal of Formal Logic , Wydawca: Duke University Press
    Status:
    Submitted
    DOI:
    brak - link to the publication
  5. Problem wszechwiedzy logicznej. Krytyka światów nienormalnych i propozycja nowego rozwiązania
    Authors:
    Mateusz Klonowski, Krzysztof Krawczyk
    Academic press:
    Filozofia Nauki (rok: 2019, tom: 27(1), strony: 27-48), Wydawca: Uniwersytet Warszawski
    Status:
    Published
    DOI:
    10.14394/filnau.2019.0002 - link to the publication
  6. Axiomatization of Some Relating Logics Determined by Definable Relations
    Authors:
    Tomasz Jarmużek, Mateusz Klonowski
    Academic press:
    Studia Logica , Wydawca: Springer
    Status:
    Submitted
    DOI:
    brak - link to the publication
  7. Bayesian Propositional Logic
    Authors:
    Tomasz Jarmużek, Mateusz Klonowski i Jacek Malinowski
    Academic press:
    Bulletin of the Section of Logic (rok: 2017, tom: 46(3/4), strony: 151-168), Wydawca: Department of Logic, University of Łódź
    Status:
    Published
    DOI:
    10.18778/0138-0680.46.3.4.01 - link to the publication
  8. Simplified Kripke-style semantics for some normal modal logics
    Authors:
    Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav Petrukhin
    Academic press:
    Studia Logica (rok: 2020, tom: 108, strony: 451-476), Wydawca: Springer Netherlands
    Status:
    Published
    DOI:
    10.1007/s11225-019-09849-2 - link to the publication
  1. Some Intensional Logics Defined by Relating Semantics and Tableau Systems
    Authors:
    Tomasz Jarmużek, Mateusz Klonowski
    Book:
    Logic in High Definition. Trends in Logical Semantics (rok: 2020, tom: Trends in Logic, strony: ), Wydawca: Springer
    Status:
    Accepted for publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy