Název: Pozorování času: Odvozování ve statických světech
Překlad názvu: Pozorování času: Odvozování ve statických světech
Autoři: Švarný, Petr ; Dieks, Dennis (vedoucí práce) ; Placek, Tomasz Grzegorz (oponent) ; Szekely, Gergely (oponent)
Typ dokumentu: Disertační práce
Rok: 2019
Jazyk: eng
Abstrakt: [eng] [cze]
The topic of this thesis is temporal logical inference in atemporal models of time. The thesis presents a branching logic with observers for the purpose of this investigation. A series of theorems rigorously demonstrate that temporal reasoning is possible also in an atemporal world. 1 Tématem dizertace je logické odvozování o čase v bezčasových modelech světa. Práce za tímto účelem představuje větvící se logiku s pozorovateli. Za pomoci této logiky jsou dokázána tvrzení, která ukazují, že pozorovatelé v bezčasovém modelu mohou disponovat v plné míře časovou inferencí. 1
Klíčová slova: logika|pozorovatel|čas|block universe; logic|observer|time|block universe

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/110496

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-404419


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Disertační práce