Wokół logik modalnych - rozstrzygalność i złożoność
2011/03/N/ST6/00415
Słowa kluczowe
Deskryptory
- ST6_7: Teoretyczne podstawy informatyki, w tym informatyka kwantowa
- ST1_1: Logika i podstawy matematyki
Panel
ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 2
Konkurs
PRELUDIUM 2 – ogłoszony 2011-09-15
- Przyznana kwota
- 171 600 PLN
- Rozpoczęcie projektu
- 2012-09-19
- Zakończenie projektu
- 2015-09-18
- Planowany czas trwania projektu
- 36 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (3)
-
Two-Variable First-Order Logic with Equivalence Closure
- Autorzy:
- Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
- Czasopismo:
- SIAM Journal on Computing 2014 (rok: 2014, tom: 43, strony: 1012–1063), Wydawca: Society for Industrial and Applied Mathematics
- Status:
- Opublikowana
- DOI:
- 10.1137/120900095 – link do publikacji
-
The Undecidability of the Logic of Subintervals
- Autorzy:
- Jerzy Marcinkowski, Jakub Michaliszyn
- Czasopismo:
- Fundamenta Informaticae (rok: 2014, tom: 131, strony: 217–240), Wydawca: IOS Press
- Status:
- Opublikowana
- DOI:
- 10.3233/FI-2014-1011 – link do publikacji
-
On the Decidability of Elementary Modal Logics
- Autorzy:
- Jakub Michaliszyn, Emanuel Kieroński, Jan Otop
- Czasopismo:
- ACM Transactions on Computational Logic (rok: 2015, tom: 17, strony: 2:1-2:47), Wydawca: ACM
- Status:
- Opublikowana
- DOI:
- 10.1145/2817825 – link do publikacji
Teksty w publikacjach pokonferencyjnych (1)
-
Elementary Modal Logics over Transitive Structures
- Autorzy:
- Jakub Michaliszyn, Jan Otop
- Konferencja:
- Computer Science Logic 2013 (rok: 2013, strony: 563-577), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany
- Data:
- konferencja 2-5 września
- Status:
- Opublikowana
- DOI:
- link do publikacji