Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych
2011/01/N/HS1/01979
Słowa kluczowe
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
Kierownik projektu (z jednostki realizującej)
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
- 24 miesiące (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- Laptop Lenovo IdeaPad Y570. Za kwotę 3 500 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (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
- DOI:
- link do publikacji
-
Satisfiability Problem for Modal Logic with Global Counting Operators Coded in Binary is NEXPTIME-complete
- 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
-
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
Teksty w publikacjach pokonferencyjnych (3)
-
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, strony: 191-201), Wydawca: CEUR Workshop Proceedings
- Data:
- konferencja 6-17.08.2012
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Terminating Tableau Calculus for the Logic K(E_n)
- Autorzy:
- Michał Zawidzki
- Konferencja:
- Automated Reasoning Workshop (rok: 2012, strony: 21-22), Wydawca: School of Computer Science, The University of Manchester
- Data:
- konferencja 02-04.04.2012
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Hybrid tableau algorithm for modal logic with global counting operators
- Autorzy:
- Michał Zawidzki
- Konferencja:
- Automated Reasoning Workshop (rok: 2013, strony: 37-38), Wydawca: School of Computing, University of Dundee
- Data:
- konferencja 11-12.04.2013
- Status:
- Opublikowana
- DOI:
- link do publikacji
Publikacje książkowe (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