Projekty finansowane przez NCN
Hybrydyzacja fragmentów logiki Halperna-Shohama
2016/23/N/HS1/02168
Słowa kluczowe:
logiki interwałowe logiki temporalne logiki modalne logiki hybrydowe złożoność obliczeniowa
Deskryptory:
- HS1_4: Logika, metodologia nauk, filozofia nauki
- ST1_1: Logika i podstawy matematyki
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
woj. mazowieckie
Konkurs: PRELUDIUM 12 - ogłoszony 2016-09-15
Przyznana kwota: 76 800 PLN
Rozpoczęcie projektu: 2017-09-04
Zakończenie projektu: 2019-12-03
Planowany czas trwania projektu: 27 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.