Related papers: There exist consistent temporal logics admitting c…
Temporal epistemic logic is a well-established framework for expressing agents knowledge and how it evolves over time. Within language-based security these are central issues, for instance in the context of declassification. We propose to…
It is widely accepted that temporal asymmetry is largely a cosmological problem; the task of explaining temporal asymmetry reduces in the main to that of explaining an aspect of the condition of the early universe. However, cosmologists who…
From a modern perspective cosmology is a historical science in so far that it deals with the development of the universe since its origin some 14 billion years ago. The origin itself may not be subject to scientific analysis and…
Although practised as an art and science for ages, cryptography had to wait until the mid-twentieth century before Claude Shannon gave it a strong mathematical foundation. However, Shannon's approach was rooted is his own information…
When addressing the notion of proper time in the theory of relativity, it is usually taken for granted that the time read by an accelerated clock is given by the Minkowski proper time. However, there are authors like Harvey Brown that…
The semantics for counterfactuals due to David Lewis has been challenged on the basis of unlikely, or impossible, events. Such events may skew a given similarity order in favour of those possible worlds which exhibit them. By updating the…
Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths. Standard temporal logics can only refer to a single path at a time, and therefore…
Observational astronomy is the beneficiary of an ancient chain of apprenticeship. Kepler's laws required Tycho's data. As the pace of discoveries has increased over the centuries, so has the cadence of tutelage (literally, "watching over").…
The development of science and technology has progressively demonstrated the ability of humankind to understand and manipulate the physical world, and it has also shown some fundamental limitations to predictability of physical events. This…
Epistemic logic is known as a logic that captures the knowledge and beliefs of agents and has undergone various developments since Hintikka (1962). In this paper, we propose a new logic called agent-knowledge logic by taking the product of…
There is a trend to consider counterfactuals as invariably time-asymmetric. Recently, this trend manifested itself in the controversy about validity of counterfactual application of a time-symmetric quantum probability rule. Kastner (2003)…
We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is similar to the usual first-order logic; what differs is the…
Temporal claims, often riddled with inaccuracies, are a significant challenge in the digital misinformation landscape. Fact-checking systems that can accurately verify such claims are crucial for combating misinformation. Current systems…
Our laws of nature and our cosmos appear to be delicately fine-tuned for life to emerge, in a way that seems hard to attribute to chance. In view of this, some have taken the opportunity to revive the scholastic Argument from Design,…
Today's science provides quite a lean picture of time as a mere geometric evolution parameter. I argue that time is much richer. In particular, I argue that besides the geometric time, there is creative time, when objective chance events…
The process of identifying a time variable in time reparameterization invariant theories results in great ambiguities about the actual laws of physics described by a given theory. A theory set up to describe one set of physical laws can…
Notoriously, the Einstein equations of general relativity have solutions in which closed timelike curves (CTCs) occur. On these curves time loops back onto itself, which has exotic consequences. However, in order to make time travel stories…
Despite the obvious utility of the concept, it has often been argued that time does not exist. I take the opposite perspective: let's imagine that time does exist, and the universe is described by a quantum state obeying ordinary…
The Hamiltonian defines the dynamical properties of the universe. Evidence from particle physics shows that there is a different version of the Hamiltonian for each direction of time. As there is no physical basis for the universe to be…
It is a remarkable fact that all processes occurring in the observable Universe are irreversible, whereas the equations through which the fundamental laws of physics are formulated are invariant under time reversal. The emergence of…