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

Praca doktorska

Pliki

Dostęp zamknięty

dc.abstract.pl	Przedmiotem rozprawy są temporalne logiki interwałowe.
dc.affiliation.department	Wydział Filozofii
dc.contributor.author	Wałęga, Przemysław
dc.date.accessioned	2021-01-27T08:16:29Z
dc.date.available	2021-01-27T08:16:29Z
dc.date.defence	2021-02-05
dc.date.issued	2021-01-27
dc.description.promoter	Golińska-Pilarek, Joanna
dc.description.promoter	Zawidzki, Michał
dc.identifier.uri	https://repozytorium.uw.edu.pl//handle/item/3864
dc.language.iso	en
dc.rights	ClosedAccess
dc.subject.en	expressive power
dc.subject.en	computational complexity
dc.subject.en	sub-propositional fragments
dc.subject.en	interval logic
dc.subject.en	modal logic
dc.subject.en	temporal logic
dc.subject.en	Halpern-Shoham logic
dc.subject.pl	moc wyrażalności
dc.subject.pl	złożoność obliczeniowa
dc.subject.pl	fragmenty podzdaniowe
dc.subject.pl	logika interwałowa
dc.subject.pl	logika modalna
dc.subject.pl	logika temporalna
dc.subject.pl	Logika Halperna-Shohama
dc.title	Sub-Propositional Fragments of Halpern-Shoham Logic: Between Expressiveness and Complexity
dc.title.alternative	Podzdaniowe fragmenty logiki Halperna-Shohama: pomiędzy wyrażalnością a złożonością
dc.type	DoctoralThesis
dspace.entity.type	Publication