Original title: Pozorování času: Odvozování ve statických světech
Translated title: Pozorování času: Odvozování ve statických světech
Authors: Švarný, Petr ; Dieks, Dennis (advisor) ; Placek, Tomasz Grzegorz (referee) ; Szekely, Gergely (referee)
Document type: Doctoral theses
Year: 2019
Language: eng
Abstract: [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
Keywords: logic|observer|time|block universe; logika|pozorovatel|čas|block universe

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/110496

Permalink: http://www.nusl.cz/ntk/nusl-404419


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Doctoral theses