Projects funded by the NCN
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
Principal investigator (from the host institution):
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