Sub-Propositional Fragments of Halpern-Shoham Logic: Between Expressiveness and Complexity

Praca doktorska

Pliki

Dostęp zamknięty

Autor

Wałęga, Przemysław

Promotor

Golińska-Pilarek, Joanna

Zawidzki, Michał

Data publikacji

2021-01-27

Przedmiotem rozprawy są temporalne logiki interwałowe.

Słowa kluczowe PL

moc wyrażalności

złożoność obliczeniowa

fragmenty podzdaniowe

logika interwałowa

logika modalna

logika temporalna

Logika Halperna-Shohama

Inny tytuł

Podzdaniowe fragmenty logiki Halperna-Shohama: pomiędzy wyrażalnością a złożonością

Data obrony

2021-02-05

Licencja otwartego dostępu

Dostęp zamknięty