Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wokół logik modalnych - rozstrzygalność i złożoność

2011/03/N/ST6/00415

Słowa kluczowe:

logika rozstrzygalność złożoność

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

Jakub Michaliszyn 

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

  • Publikacje w czasopismach (4)
  • Teksty w publikacjach pokonferencyjnych (2)
  1. Satisfiability versus Finite Satisfiability in Elementary Modal Logics IF: 0,433
    Autorzy:
    Jakub Michaliszyn, Jan Otop, Piotr Witkowski
    Czasopismo:
    Logical Methods in Computer Science , Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Złożona
  2. On the Decidability of Elementary Modal Logics IF: 0,636
    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
  3. Two-Variable First-Order Logic with Equivalence Closure IF: 0,803
    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
  4. The Undecidability of the Logic of Subintervals IF: 0,399
    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
  1. Elementary Modal Logics over Transitive Structures
    Autorzy:
    Jakub Michaliszyn, Jan Otop
    Konferencja:
    Computer Science Logic 2013 (rok: 2013, ), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany
    Data:
    konferencja 2-5 września
    Status:
    Opublikowana
  2. Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions
    Autorzy:
    Alessio Lomuscio, Jakub Michaliszyn
    Konferencja:
    Autonomous Agents and Multi-Agent Systems (AAMAS) (rok: 2016, ), Wydawca: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
    Data:
    konferencja 9-13 maja 2016
    Status:
    Złożona