Projects funded by the NCN
Around Modal Logics - Decidability and Complexity
2011/03/N/ST6/00415
Keywords:
Descriptors:
- ST6_7:
- ST1_1:
Panel:
ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution :
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Principal investigator (from the host institution):
Number of co-investigators in the project: 2
Call: PRELUDIUM 2 - announced on 2011-09-15
Amount awarded: 171 600 PLN
Project start date (Y-m-d): 2012-09-19
Project end date (Y-m-d): 2015-09-18
Project duration:: 36 months (the same as in the proposal)
Project status: Project settled
Information in the final report
- Publication in academic press/journals (3)
- Articles in post-conference publications (1)
- Two-Variable First-Order Logic with Equivalence ClosureAuthors:Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia TenderaAcademic press:SIAM Journal on Computing 2014 (rok: 2014, tom: 43, strony: 1012–1063), Wydawca: Society for Industrial and Applied MathematicsStatus:PublishedDOI:10.1137/120900095 - link to the publication
- On the Decidability of Elementary Modal LogicsAuthors:Jakub Michaliszyn, Emanuel Kieroński, Jan OtopAcademic press:ACM Transactions on Computational Logic (rok: 2015, tom: 17, strony: 2:1-2:47), Wydawca: ACMStatus:PublishedDOI:10.1145/2817825 - link to the publication
- The Undecidability of the Logic of SubintervalsAuthors:Jerzy Marcinkowski, Jakub MichaliszynAcademic press:Fundamenta Informaticae (rok: 2014, tom: 131, strony: 217–240), Wydawca: IOS PressStatus:PublishedDOI:10.3233/FI-2014-1011 - link to the publication
- Elementary Modal Logics over Transitive StructuresAuthors:Jakub Michaliszyn, Jan OtopConference:Computer Science Logic 2013 (rok: 2013, ), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, GermanyData:konferencja 2-5 wrześniaStatus:Published