Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

2011/01/N/HS1/01979

Słowa kluczowe:

logiki modalne logiki hybrydowe teoria dowodu rozstrzygalność złożoność obliczeniowa systemy dedukcyjne

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

woj. łódzkie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Michał Zawidzki 

Liczba wykonawców projektu: 2

Konkurs: PRELUDIUM 1 - ogłoszony 2011-03-15

Przyznana kwota: 112 245 PLN

Rozpoczęcie projektu: 2011-12-16

Zakończenie projektu: 2013-12-15

Planowany czas trwania projektu: 22 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Laptop Lenovo IdeaPad Y570. Za kwotę 3 500 PLN

Dane z raportu końcowego

  • Publikacje w czasopismach (3)
  • Teksty w publikacjach pokonferencyjnych (3)
  • Publikacje książkowe (1)
  1. Decision procedures for some strong hybrid logics
    Autorzy:
    Andrzej Indrzejczak, Michał Zawidzki
    Czasopismo:
    Logic and Logical Philosophy (rok: 2013, tom: 22, strony: 389-409), Wydawca: Wydawnictwo Uniwersytetu Mikołaja Kopernika
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2013.022 - link do publikacji
  2. Satisfiability Problem for Modal Logic with Global Counting Operators Coded in Binary is NEXPTIME-complete IF: 0,488
    Autorzy:
    Michał Zawidzki, Renate A. Schmidt, Dmitry Tishkovsky
    Czasopismo:
    Information Processing Letters (rok: 2013, tom: 113, strony: 34-38), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.ipl.2012.09.007 - link do publikacji
  3. Adequacy of the Logic K(E_n)
    Autorzy:
    Michał Zawidzki
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2012, tom: 41 (3-4), strony: 155-172), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Opublikowana
  1. Tableau-Based Decision Procedure for Hybrid Logic with Satisfaction Operators, Universal Modality and Difference Modality
    Autorzy:
    Michał Zawidzki
    Konferencja:
    European Summer School of Logic, Language and Information (rok: 2012, ), Wydawca: CEUR Workshop Proceedings
    Data:
    konferencja 6-17.08.2012
    Status:
    Opublikowana
  2. Terminating Tableau Calculus for the Logic K(E_n)
    Autorzy:
    Michał Zawidzki
    Konferencja:
    Automated Reasoning Workshop (rok: 2012, ), Wydawca: School of Computer Science, The University of Manchester
    Data:
    konferencja 02-04.04.2012
    Status:
    Opublikowana
  3. Hybrid tableau algorithm for modal logic with global counting operators
    Autorzy:
    Michał Zawidzki
    Konferencja:
    Automated Reasoning Workshop (rok: 2013, ), Wydawca: School of Computing, University of Dundee
    Data:
    konferencja 11-12.04.2013
    Status:
    Opublikowana
  1. nie dotyczy
    Autorzy:
    Michał Zawidzki
    Książka:
    Deductive systems and the decidability problem for hybrid logics (rok: 2013, tom: nie dotyczy, strony: 232), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego/Wydawnictwo Uniwersytetu Jagiellońskiego
    Status:
    Opublikowana