Related papers: There exist consistent temporal logics admitting c…
When a physicist says that a theory is fine-tuned, they mean that it must make a suspiciously precise assumption in order to explain a certain observation. This is evidence that the theory is deficient or incomplete. One particular case of…
In consistent history quantum theory, a description of the time development of a quantum system requires choosing a framework or consistent family, and then calculating probabilities for the different histories which it contains. It is…
Exploring new ideas is a fundamental aspect of research and development (R\&D), which often occurs in competitive environments. Most ideas are subsequent, i.e. one idea today leads to more ideas tomorrow. According to one approach, the best…
In this short note, we are concerned with the fairness condition "A and B hold almost equally often", which is important for specifying and verifying the correctness of non-terminating processes and protocols. We introduce the logic of…
We clarify and strengthen our demonstration that arrows of time necessarily arise in unconfined systems. Contrary to a recent claim, this does not require an improbable selection principle.
A general definition of a clock is proposed, and the role of clocks in establishing temporal pre-conditions in quantum mechanical questions is critically discussed. The different status of clocks as used by theorists external to a system…
The Kalam Cosmological Argument is perhaps the most solid and widly discussed argument for a caused creation of the universe. The usual objections to the argument mainly focus on the second premise. In this paper we discuss the dependency…
Our approach is basically a coherence approach, but we avoid the well-known pitfalls of coherence theories of truth. Consistency is replaced by reliability, which expresses support and attack, and, in principle, every theory (or agent,…
Time is, figuratively and literally, becoming the new dimension for crystalline matter. As such, rapid recent progress on time-varying media gave rise to the notion of temporal and spatiotemporal crystals. Fundamentally rethinking the role…
Many important properties of multi-agent systems refer to the participants' ability to achieve a given goal, or to prevent the system from an undesirable event. Among intelligent agents, the goals are often of epistemic nature, i.e.,…
Consider an arbitrary set $S$ and an arbitrary function $f : \mathbb{R} \to S$. We think of the domain of $f$ as representing time, and for each $x \in \mathbb{R}$, we think of $f(x)$ as the state of some system at time $x$. Imagine that,…
We consider a toy FRW universe with the exotic topology $S^1 \times S^3$. We show that for a specific choice of quantum field content, the semi-classical Friedman equations are consistent with temporal periodicity as required by the $S^1$…
In the literature, two powerful temporal logic formalisms have been proposed for expressing information flow security requirements, that in general, go beyond regular properties. One is classic, based on the knowledge modalities of…
The importance of intuitionistic temporal logics in Computer Science and Artificial Intelligence has become increasingly clear in the last few years. From the proof-theory point of view, intuitionistic temporal logics have made it possible…
According to quantum mechanics, statements about the future made by sentient beings like us are, in general, neither true nor false; they must satisfy a many-valued logic. I propose that the truth value of such a statement should be…
The Thermal Time Hypotheis (TTH) has been proposed as a general method for identifying a time variable from within background-free theories which do not come equipped with a pre-defined clock variable. Here, we explore some implications of…
Some authors in the quantum gravity community endorse, explicitly or implicitly, a radical relationalist view of time which states that the ordinal structure of time is not needed even in our classical theories, especially in general…
The deployment of capable AI agents raises fresh questions about safety, human-machine relationships and social coordination. We argue for greater engagement by scientists, scholars, engineers and policymakers with the implications of a…
In the past several years, scientists have issued a series of warnings about the threats of climate change and other forms of environmental disruption. Here, we provide a scientists' warning on how technology affects these issues.…
The clockwork is a mechanism for generating light particles with exponentially suppressed interactions in theories which contain no small parameters at the fundamental level. We develop a general description of the clockwork mechanism valid…