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.0012 seconds