dc.contributor.advisor | Dieks, Dennis | |
dc.creator | Švarný, Petr | |
dc.date.accessioned | 2019-10-20T19:10:25Z | |
dc.date.available | 2019-10-20T19:10:25Z | |
dc.date.issued | 2019 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/110496 | |
dc.description.abstract | 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 | cs_CZ |
dc.description.abstract | 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 | en_US |
dc.language | English | cs_CZ |
dc.language.iso | en_US | |
dc.publisher | Univerzita Karlova, Filozofická fakulta | cs_CZ |
dc.subject | logic|observer|time|block universe | en_US |
dc.subject | logika|pozorovatel|čas|block universe | cs_CZ |
dc.title | Pozorování času: Odvozování ve statických světech | en_US |
dc.type | dizertační práce | cs_CZ |
dcterms.created | 2019 | |
dcterms.dateAccepted | 2019-09-20 | |
dc.description.department | Katedra logiky | cs_CZ |
dc.description.department | Department of Logic | en_US |
dc.description.faculty | Filozofická fakulta | cs_CZ |
dc.description.faculty | Faculty of Arts | en_US |
dc.identifier.repId | 151531 | |
dc.title.translated | Pozorování času: Odvozování ve statických světech | cs_CZ |
dc.contributor.referee | Placek, Tomasz Grzegorz | |
dc.contributor.referee | Szekely, Gergely | |
thesis.degree.name | Ph.D. | |
thesis.degree.level | doktorské | cs_CZ |
thesis.degree.discipline | Logika | cs_CZ |
thesis.degree.discipline | Logic | en_US |
thesis.degree.program | Logika | cs_CZ |
thesis.degree.program | Logic | en_US |
uk.thesis.type | dizertační práce | cs_CZ |
uk.taxonomy.organization-cs | Filozofická fakulta::Katedra logiky | cs_CZ |
uk.taxonomy.organization-en | Faculty of Arts::Department of Logic | en_US |
uk.faculty-name.cs | Filozofická fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Arts | en_US |
uk.faculty-abbr.cs | FF | cs_CZ |
uk.degree-discipline.cs | Logika | cs_CZ |
uk.degree-discipline.en | Logic | en_US |
uk.degree-program.cs | Logika | cs_CZ |
uk.degree-program.en | Logic | en_US |
thesis.grade.cs | Prospěl/a | cs_CZ |
thesis.grade.en | Pass | en_US |
uk.abstract.cs | 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 | cs_CZ |
uk.abstract.en | 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 | en_US |
uk.file-availability | V | |
uk.publication.place | Praha | cs_CZ |
uk.grantor | Univerzita Karlova, Filozofická fakulta, Katedra logiky | cs_CZ |
thesis.grade.code | P | |