Hledat
Zobrazují se záznamy 1-1 z 1
Pozorování času: Odvozování ve statických světech
Pozorování času: Odvozování ve statických světech
Dizertační práce (OBHÁJENO)
Vedoucí práce: Dieks, Dennis
Datum publikování: 2019
Datum obhajoby: 20. 09. 2019
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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é ...
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 ...
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 ...