There exist consistent temporal logics admitting changes of History

TL;DR

This paper explores the logical consistency of temporal logics that allow for changes in history, challenging the need for a Chronology Protection Agency to prevent paradoxes.

Contribution

It demonstrates the existence of consistent temporal logics that admit historical changes, providing a new perspective on the safety of logical frameworks for time.

Findings

Existence of consistent temporal logics with history-changing capabilities

Logical safety for logicians without a Chronology Protection Agency

Challenges to Hawking's Chronology Protection Conjecture

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.