Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Around Modal Logics - Decidability and Complexity

2011/03/N/ST6/00415

Keywords:

logic decidability complexity

Descriptors:

  • ST6_7: Artificial intelligence, intelligent systems, multi-agent systems
  • ST1_1: Logic and foundations

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

Other projects carried out by the institution 

Principal investigator (from the host institution):

Jakub Michaliszyn 

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 (4)
  • Articles in post-conference publications (2)
  1. On the Decidability of Elementary Modal Logics
    Authors:
    Jakub Michaliszyn, Emanuel Kieroński, Jan Otop
    Academic press:
    ACM Transactions on Computational Logic (rok: 2015, tom: 17, strony: 2:1-2:47), Wydawca: ACM
    Status:
    Published
    DOI:
    10.1145/2817825 - link to the publication
  2. Two-Variable First-Order Logic with Equivalence Closure
    Authors:
    Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
    Academic press:
    SIAM Journal on Computing 2014 (rok: 2014, tom: 43, strony: 1012–1063), Wydawca: Society for Industrial and Applied Mathematics
    Status:
    Published
    DOI:
    10.1137/120900095 - link to the publication
  3. Satisfiability versus Finite Satisfiability in Elementary Modal Logics
    Authors:
    Jakub Michaliszyn, Jan Otop, Piotr Witkowski
    Academic press:
    Logical Methods in Computer Science , Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Submitted
    DOI:
    brak - link to the publication
  4. The Undecidability of the Logic of Subintervals
    Authors:
    Jerzy Marcinkowski, Jakub Michaliszyn
    Academic press:
    Fundamenta Informaticae (rok: 2014, tom: 131, strony: 217–240), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2014-1011 - link to the publication
  1. Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions
    Authors:
    Alessio Lomuscio, Jakub Michaliszyn
    Conference:
    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:
    Submitted
    DOI:
    link to the publication
  2. Elementary Modal Logics over Transitive Structures
    Authors:
    Jakub Michaliszyn, Jan Otop
    Conference:
    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:
    Published
    DOI:
    link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy