Idioma:

Toward a Formal Foundation for Time Travel in Stories and Games

Helvensteijn, Michiel ; Arbab, Farhad

Theory and Practice of Formal Methods, p.261-276 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Título:
Toward a Formal Foundation for Time Travel in Stories and Games
Autor: Helvensteijn, Michiel ; Arbab, Farhad
Assuntos: Causality Chain ; Causality Diagram ; Kripke Structure ; Temporal Logic ; Time Travel
É parte de: Theory and Practice of Formal Methods, p.261-276
Descrição: Time-travel is a popular topic not only in science fiction, but in physics as well, especially when it concerns the notion of “changing the past”. It turns out that if time-travel exists, it will follow certain logical rules. In this paper we apply the tools of discrete mathematics to two such sets of rules from theoretical physics: the Novikov Self Consistency Principle and the Many Worlds Interpretation of quantum mechanics. Using temporal logic, we can encode the dynamics of a time-travel story or game, and model-check them for adherence to the rules. We also present the first ever game-engine following these rules, allowing the development of technically accurate time-travel games.
Títulos relacionados: Lecture Notes in Computer Science
Editor: Cham: Springer International Publishing
Idioma: Inglês

Voltar para lista de resultados