Related papers: There exist consistent temporal logics admitting c…
A promising strategy for better understanding space and time at the Planck scale, is outlined and further pursued. It is explained in detail, how black hole unitarity demands the existence of transformations that can remove firewalls. This…
Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have…
Hawking's stable causality implies Sorkin and Woolgar's K-causality. The work investigates the possible equivalence between the two causality requirements, an issue which was first considered by H. Seifert and then raised again by R. Low…
Time-symmetric cosmological theories, in which the initial and final states are arranged to have similar features or are independently fixed, have been quite extensively discussed in the literature. However, a more general and perhaps more…
The (consistent or decoherent) histories interpretation provides a consistent realistic ontology for quantum mechanics, based on two main ideas. First, a logic (system of reasoning) is employed which is compatible with the Hilbert-space…
Special relativity is no longer a new revolutionary theory but a firmly established cornerstone of modern physics. The teaching of special relativity, however, still follows its presentation as it unfolded historically, trying to convince…
A variation of Hawking's idea about Euclidean origin of a nonsingular birth of the Universe is considered. It is assumed that near to zero moment $t = 0$ fluctuations of a metric signature are possible.
We study dynamic changes of agents' observational power in logics of knowledge and time. We consider CTL*K, the extension of CTL* with knowledge operators, and enrich it with a new operator that models a change in an agent's way of…
Arising out of an attempt at a new foundations of mathematics, in which relations are more primitive than sets, and out of the theoretical physicists' concept of underlying causes of empirical phenomena, the idea of a purely mathematical…
In this review article we compare the recent work of Peter Lynds, "On a finite universe with no beginning or end", with that of Stephen Hawking, primarily "Quantum Cosmology, M-Theory, and the Anthropic Principle", and two foundational…
In the last decades much research effort has been devoted to extending the success of model checking from the traditional field of finite state machines and various versions of temporal logics to suitable subclasses of context-free…
Model checking of strategic abilities is a notoriously hard problem, even more so in the realistic case of agents with imperfect information, acting in a stochastic environment. Assume-guarantee reasoning can be of great help here,…
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the temporal ordering of system states in a provable manner. We…
Recently, several authors have criticized the time-symmetrized quantum theory originated by the work of Aharonov et al. (1964). The core of this criticism was a proof, appearing in various forms, which showed that the counterfactual…
If the human race comes to an end relatively shortly, then we have been born at a fairly typical time in history of humanity. On the other hand, if humanity lasts for much longer and trillions of people eventually exist, then we have been…
Since the beginning of their history, insurers have been known to use data to classify and price risks. As such, they were confronted early on with the problem of fairness and discrimination associated with data. This issue is becoming…
The failure of conventional quantum theory to recognize time as an observable and to admit time operators is addressed. Instead of focusing on the existence of a time operator for a given Hamiltonian, we emphasize the role of the…
Counterfactual explanations are one of the prominent eXplainable Artificial Intelligence (XAI) techniques, and suggest changes to input data that could alter predictions, leading to more favourable outcomes. Existing counterfactual methods…
Counterfactual explanations are increasingly proposed as interpretable mechanisms to achieve algorithmic recourse. However, current counterfactual techniques for time series classification are predominantly designed with static data…
It has been suggested that the cosmic history might repeat in cycles, with an infinite series of similar aeons in the past and the future. Here, we instead propose that the cosmic history repeats itself exactly, constructing a universe on a…