Projekty finansowane przez NCN
Tablicowe systemy logiki wiążącej motywowane filozoficznymi interpretacjami spójników języka naturalnego
2015/19/N/HS1/02401
Słowa kluczowe:
funktory intensjonalne funktory wiążące logiki filozoficzne logiki nieklasyczne metoda tablicowa relacja wiązania system tablicowy
Deskryptory:
- HS1_4: Logika, metodologia nauk, filozofia nauki
- HS1_2: Ontologia i metafizyka, ontologie szczegółowe
- HS1_3: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny
woj. kujawsko-pomorskie
Konkurs: PRELUDIUM 10 - ogłoszony 2015-09-15
Przyznana kwota: 43 560 PLN
Rozpoczęcie projektu: 2016-07-11
Zakończenie projektu: 2019-07-10
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (8)
- Publikacje książkowe (1)
- On Logic of Strictly-Deontic Modalities. A Semantic and Tableau ApproachAutorzy:Tomasz Jarmużek, Mateusz KlonowskiCzasopismo:Logic and Logical Philosophy (rok: 2020, tom: 29(3), strony: 335-380), Wydawca: Uniwersytet Mikołaja KopernikaStatus:OpublikowanaDoi:10.12775/LLP.2020.010 - link do publikacji
- Problem wszechwiedzy logicznej. Krytyka światów nienormalnych i propozycja nowego rozwiązaniaAutorzy:Mateusz Klonowski, Krzysztof KrawczykCzasopismo:Filozofia Nauki (rok: 2019, tom: 27(1), strony: 27-48), Wydawca: Uniwersytet WarszawskiStatus:OpublikowanaDoi:10.14394/filnau.2019.0002 - link do publikacji
- Axiomatization of Some Relating Logics Determined by Definable RelationsAutorzy:Tomasz Jarmużek, Mateusz KlonowskiCzasopismo:Studia Logica , Wydawca: SpringerStatus:ZłożonaDoi:brak - link do publikacji
- Tableau Systems for Epistemic Positional LogicsAutorzy:Mateusz Klonowski, Krzysztof Krawczyk, Bożena PiętaCzasopismo:Bulletin of the Section of Logic , Wydawca: Lódź University PressStatus:ZłożonaDoi:brak - link do publikacji
- Bayesian Propositional LogicAutorzy:Tomasz Jarmużek, Mateusz Klonowski i Jacek MalinowskiCzasopismo:Bulletin of the Section of Logic (rok: 2017, tom: 46(3/4), strony: 151-168), Wydawca: Department of Logic, University of ŁódźStatus:OpublikowanaDoi:10.18778/0138-0680.46.3.4.01 - link do publikacji
- Simplified Kripke-style semantics for some normal modal logicsAutorzy:Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav PetrukhinCzasopismo:Studia Logica (rok: 2020, tom: 108, strony: 451-476), Wydawca: Springer NetherlandsStatus:OpublikowanaDoi:10.1007/s11225-019-09849-2 - link do publikacji
- A Post-style proof of completeness theorem for Symmetric Relatedness Logic SAutorzy:Mateusz KlonowskiCzasopismo:Bulletin of the Section of Logic (rok: 2018, tom: 47/3, strony: 201-214), Wydawca: Wydawnictwo UŁStatus:OpublikowanaDoi:10.18778/0138-0680.47.3.05 - link do publikacji
- Axiomatization of Some Basic and Modal Boolean-Connexive LogicsAutorzy:Mateusz KlonowskiCzasopismo:Notre Dame Journal of Formal Logic , Wydawca: Duke University PressStatus:ZłożonaDoi:brak - link do publikacji
- Some Intensional Logics Defined by Relating Semantics and Tableau SystemsAutorzy:Tomasz Jarmużek, Mateusz KlonowskiKsiążka:Logic in High Definition. Trends in Logical Semantics (rok: 2020, tom: Trends in Logic, strony: ), Wydawca: SpringerStatus:Przyjęta do publikacji