Toward a formal foundation for time travel in stories and games

DOI10.1007/978-3-319-30734-3_18zbMath1475.00005OpenAlexW2340531455MaRDI QIDQ2026801

Farhad Arbab, Michiel Helvensteijn

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_18

Mathematics Subject Classification ID

Game theory (91A99) General and philosophical questions in quantum theory (81P05) Specification and verification (program logics, model checking, etc.) (68Q60) Equations of motion in general relativity and gravitational theory (83C10) Temporal logic (03B44) Recreational mathematics (00A08)

This page was built for publication: Toward a formal foundation for time travel in stories and games