Related papers: There exist consistent temporal logics admitting c…
There are a number of problematic features within the current treatment of time in physical theories, including the "timelessness" of the Universe as encapsulated by the Wheeler-DeWitt equation. This paper considers one particular…
I give a historical survey of the discussions about the existence of closed timelike curves in general relativistic models of the universe, opening the physical possibility of time travel in the past, as first recognized by K. G\"odel in…
Timing channels are a significant and growing security threat in computer systems, with no established solution. We have recently argued that the OS must provide time protection, in analogy to the established memory protection, to protect…
Counterfactual explanations are a prominent example of post-hoc interpretability methods in the explainable Artificial Intelligence research domain. They provide individuals with alternative scenarios and a set of recommendations to achieve…
We consider the ambiguity associated with the choice of clock in time reparameterization invariant theories. This arbitrariness undermines the goal of prescribing a fixed set of physical laws, since a change of time variable can completely…
Over the past two decades, substantial efforts have been made to understand the way in which physics enforces the ordinary topology and causal structure that we observe, from subnuclear to cosmological scales. We review the status of…
As a consequence of the spacetime structure, defined by the tetrad field instead of the metric tensor alone, $f(T)$ gravity seems to harbor its own chronology protection agency. When Gott's pair of moving cosmic strings is considered, it is…
Prigogine and Stengers (1988) have pointed to the centrality of the concepts of "time and eternity" for the cosmology contained in Newtonian physics, but they have not addressed this issue beyond the domain of physics. The construction of…
We present some novel results indicating that time's description in present-day physics is deficient. We use Hawking's information-erasure hypothesis to counter his own claim that time's arrow depends only on initial conditions. Next, we…
The abstraction introduced by von Neumann correctly reflected the state of the art 70 years ago. Although it omitted data transmission time between components of the computer, it served as an excellent base for classic computing for…
Citation recommendation is an important task to assist scholars in finding candidate literature to cite. Traditional studies focus on static models of recommending citations, which do not explicitly distinguish differences between papers…
Lewis' theory of counterfactuals is the foundation of many contemporary notions of causality. In this paper, we extend this theory in the temporal direction to enable symbolic counterfactual reasoning on infinite sequences, such as…
In this paper, we do three kinds of work. First, we recognize four notions of necessity and two notions of possibility related to time flow, namely strong/weak historical/temporal necessities, as well as historical/temporal possibilities,…
As ontologies proliferate and automatic reasoners become more powerful, the problem of protecting sensitive information becomes more serious. In particular, as facts can be inferred from other facts, it becomes increasingly likely that…
How special (or not) is the epoch we are living in? What is the appropriate reference class for embedding the observations made at the present time? How probable -- or else -- is anything we observe in the fulness of time? Contemporary…
A new logic for verification of security policies is proposed. The logic, HyperLTL, extends linear-time temporal logic (LTL) with connectives for explicit and simultaneous quantification over multiple execution paths, thereby enabling…
If time travel is possible, it seems to inevitably lead to paradoxes. These include consistency paradoxes, such as the famous grandfather paradox, and bootstrap paradoxes, where something is created out of nothing. One proposed class of…
To operate intelligently in the world, an agent must reason about its actions. The consequences of an action are a function of both the state of the world and the action itself. Many aspects of the world are inherently stochastic, so a…
Several recent possible counterexamples to the Chronology Protection Conjecture are critically examined. The ``adapted'' Rindler vacuum state constructed by Li and Gott for a conformal scalar field in Misner space is extended to…
Gemini said Lawmakers today face continuous calls to "future proof" the legal system against generative artificial intelligence, algorithmic decision-making, targeted advertising, and all manner of emerging technologies. This Article takes…