There exist consistent temporal logics admitting changes of History

Gavriel Segre
DOI: https://doi.org/10.48550/arXiv.gr-qc/0612021
2006-12-06
Abstract:Introducing his Chronology Protection Conjecture Stephen Hawking said that it seems that there exists a Chronology Protection Agency making the Universe safe for historians. Without taking sides about such a conjecture we show that the Chronology Protection Agency is not necessary in order to make the Universe unsafe for historians but safe for logicians.
General Relativity and Quantum Cosmology,Logic
What problem does this paper attempt to address?