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
| Identifer | oai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:404419 |
| Date | January 2019 |
| Creators | Švarný, Petr |
| Contributors | Dieks, Dennis, Placek, Tomasz Grzegorz, Szekely, Gergely |
| Source Sets | Czech ETDs |
| Language | English |
| Detected Language | English |
| Type | info:eu-repo/semantics/doctoralThesis |
| Rights | info:eu-repo/semantics/restrictedAccess |
Page generated in 0.0023 seconds