Related papers: There exist consistent temporal logics admitting c…
For more than a half century cosmologists have been guided by the assumption that matter is distributed homogeneously on sufficiently large scales. On the other hand, observations have consistently yielded evidence for inhomogeneity in the…
This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the semantics works with systems whose states explicitly encode…
According to the orthodox interpretation of bounce cosmologies, the universe was born from an entropy reducing phase in a previous universe. To defend the thesis that the whole of physical reality was caused to exist a finite time ago,…
Civilization maintains an elaborate infrastructure devoted to the maintenance of synchronized time. Governments mandate daylight saving time. Standards bodies insert leap seconds into Coordinated Universal Time. Engineers debate leap…
It is the purpose of the present article to collect arguments for, that there should exist in fact -- although not necessarily yet found -- some law, which imply an adjustment to special features to occur in the future. In our own "complex…
Is time travel possible? What is Einstein's theory of relativity mathematically predicting in that regard? Is time travel related to the so-called clock 'paradoxes' of relativity and if so how? Is there any accurate experimental evidence of…
In an apparently unexplored region of relativistic spacetime, a simple thought experiment demonstrates that conjoined Lorentz transformations predict a proper clock at rest will run backwards and that prediction violates the logical…
If the Past Hypothesis underlies the arrows of time, what is the status of the Past Hypothesis? In this paper, I examine the role of the Past Hypothesis in the Boltzmannian account and defend the view that the Past Hypothesis is a candidate…
This paper reveals a trap for artificial general intelligence (AGI) theorists who use economists' standard method of discounting. This trap is implicitly and falsely assuming that a rational AGI would have time-consistent preferences. An…
An analysis using classical stochastic processes is used to construct a consistent system of quantum counterfactual reasoning. When applied to a counterfactual version of Hardy's paradox, it shows that the probabilistic character of quantum…
We revisit our 2013 claim [arXiv:1303.7476] that the Universe is the result of a conspiratorial plot, and find that it cannot be trusted, because even the belief in this conspiracy likely results from a conspiracy. On the basis of…
Two new logics for verification of hyperproperties are proposed. Hyperproperties characterize security policies, such as noninterference, as a property of sets of computation paths. Standard temporal logics such as LTL, CTL, and CTL* can…
It is a commonplace to note that in a world governed by special or general relativity, an observer has access only to data within her past lightcone (if that). The significance of this for prediction, and thus for confirmation, does not…
The quantum-mechanical description of the world, including human observers, makes substantial use of entanglement. In order to understand this, we need to adopt concepts of truth, probability and time which are unfamiliar in modern…
Sorkin has introduced a new, observer independent, interpretation of quantum mechanics that can give a successful realist account of the 'quantum microworld' as well as explaining how classicality emerges at the level of observable events…
It goes without saying that we are stuck with the universe we have. Nevertheless, we would like to go beyond simply describing our observed universe, and try to understand why it is that way rather than some other way. Physicists and…
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for valid-time indeterminacy of events, by proposing the concept…
We develop a new approach to the existence of time functions on Lorentzian manifolds, based on Conley's work regarding Lyapunov functions for dynamical systems. We recover Hawking's result that a stably causal admits a time function through…
In earlier papers we showed unpredictability beyond quantum uncertainty in atomic clocks, ensuing from a proven gap between given evidence and explanations of that evidence. Here we reconceive a clock, not as an isolated entity, but as…
It is claimed in the above paper that, if time travel were possible, quantum propagation would prevent classic time travel paradoxes by establishing consistent loops; an example circuit is used to demonstrate such a loop. It is argued here…