Projekty finansowane przez NCN
Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych
2011/01/N/HS1/01979
Słowa kluczowe:
logiki modalne logiki hybrydowe teoria dowodu rozstrzygalność złożoność obliczeniowa systemy dedukcyjne
Deskryptory:
- HS1_4: Logika, metodologia nauk, filozofia nauki
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
woj. łódzkie
Konkurs: PRELUDIUM 1 - ogłoszony 2011-03-15
Przyznana kwota: 112 245 PLN
Rozpoczęcie projektu: 2011-12-16
Zakończenie projektu: 2013-12-15
Planowany czas trwania projektu: 24 miesięcy (z wniosku)
Status projektu: Projekt rozliczony