Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Deductive systems and decidability problem for hybrid logics

2011/01/N/HS1/01979

Keywords:

modal logics hybrid logics proof-theory decidability computational complexity deductive systems

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

woj. łódzkie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Michał Zawidzki 

Number of co-investigators in the project: 2

Call: PRELUDIUM 1 - announced on 2011-03-15

Amount awarded: 112 245 PLN

Project start date (Y-m-d): 2011-12-16

Project end date (Y-m-d): 2013-12-15

Project duration:: 24 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. Laptop Lenovo IdeaPad Y570 (3 500 PLN)

Information in the final report

  • Publication in academic press/journals (3)
  • Articles in post-conference publications (3)
  • Book publications / chapters in book publications (1)
  1. Satisfiability Problem for Modal Logic with Global Counting Operators Coded in Binary is NEXPTIME-complete
    Authors:
    Michał Zawidzki, Renate A. Schmidt, Dmitry Tishkovsky
    Academic press:
    Information Processing Letters (rok: 2013, tom: 113, strony: 34-38), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ipl.2012.09.007 - link to the publication
  2. Adequacy of the Logic K(E_n)
    Authors:
    Michał Zawidzki
    Academic press:
    Bulletin of the Section of Logic (rok: 2012, tom: 41 (3-4), strony: 155-172), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Published
    DOI:
    nie - link to the publication
  3. Decision procedures for some strong hybrid logics
    Authors:
    Andrzej Indrzejczak, Michał Zawidzki
    Academic press:
    Logic and Logical Philosophy (rok: 2013, tom: 22, strony: 389-409), Wydawca: Wydawnictwo Uniwersytetu Mikołaja Kopernika
    Status:
    Published
    DOI:
    10.12775/LLP.2013.022 - link to the publication
  1. Hybrid tableau algorithm for modal logic with global counting operators
    Authors:
    Michał Zawidzki
    Conference:
    Automated Reasoning Workshop (rok: 2013, ), Wydawca: School of Computing, University of Dundee
    Data:
    konferencja 11-12.04.2013
    Status:
    Published
    DOI:
    link to the publication
  2. Tableau-Based Decision Procedure for Hybrid Logic with Satisfaction Operators, Universal Modality and Difference Modality
    Authors:
    Michał Zawidzki
    Conference:
    European Summer School of Logic, Language and Information (rok: 2012, ), Wydawca: CEUR Workshop Proceedings
    Data:
    konferencja 6-17.08.2012
    Status:
    Published
    DOI:
    link to the publication
  3. Terminating Tableau Calculus for the Logic K(E_n)
    Authors:
    Michał Zawidzki
    Conference:
    Automated Reasoning Workshop (rok: 2012, ), Wydawca: School of Computer Science, The University of Manchester
    Data:
    konferencja 02-04.04.2012
    Status:
    Published
    DOI:
    link to the publication
  1. nie dotyczy
    Authors:
    Michał Zawidzki
    Book:
    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:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy