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

Przedmiotem rozprawy są temporalne logiki interwałowe.

Słowa kluczowe PL

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