Related papers: There exist consistent temporal logics admitting c…
We combine linear temporal logic (with both past and future modalities) with a deontic version of justification logic to provide a framework for reasoning about time and epistemic and normative reasons. In addition to temporal modalities,…
Whilst mathematicians assume classical reasoning principles by default they often context switch when working, restricting themselves to various forms of subclassical reasoning. This pattern is especially common amongst logicians and set…
The new explanation of global tendencies (in particular, of natural calamities and other disasters, taking place in present time in different countries) is suggested.
Autonomous Intelligent Agents are employed in many applications upon which the life and welfare of living beings and vital social functions may depend. Therefore, agents should be trustworthy. A priori certification techniques (i.e.,…
Existing accounts of the cosmological arrow of time face a dilemma: generalist approaches that posit time-asymmetric laws lack independent motivation, while particularist approaches that invoke a Past Hypothesis face serious conceptual and…
The closed causal chains arising from backward time travel do not lead to paradoxes if they are self consistent. This raises the question as to how physics ensures that only self-consistent loops are possible. We show that, for one…
Recent results have shown that singularities can be avoided from the general relativistic standpoint in Lorentzian-Euclidean black holes by means of the transition from a Lorentzian to an Euclidean region where time loses its physical…
Using a temporal version of the Copernican principle, Gott has proposed a statistical predictor of future longevity based on present age [J. R. Gott III, Nature 363, 315 (1993)] and applied the predictor to a variety of examples, including…
Quantum theory reflects within itself a separation of evidence from explanations. This separation leads to a known proof that: (1) no wave function can be determined uniquely by evidence, and (2) any chosen wave function requires a guess…
We propose that cosmological time is {\it effectively} the conjugate of the constants of nature. Different definitions of time arise, with the most relevant related to the constant controlling the dynamics in each epoch. The Hamiltonian…
The intriguing suggestion of Tegmark (1996) that the universe--contrary to all our experiences and expectations--contains only a small amount of information due to an extremely high degree of internal symmetry is critically examined. It is…
It appears paradoxical that science is producing outstanding new results and theories at a rapid rate at the same time that researchers are identifying serious problems in the practice of science that cause many reports to be irreproducible…
Theoretical cosmologists were quick to be convinced by the evidence presented in 1998 for the accelerating Universe. I explain how this remarkable discovery was the missing piece in the grand cosmological puzzle. When found, it fit…
Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems contain a degree of…
The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical…
I try to clarify several confusions in the popular literature concerning chaos, determinism, the arrow of time, entropy and the role of probability in physics. Classical ideas going back to Laplace and Boltzmann are explained and defended…
The idea of possible time or space variations of the `fundamental' constants of nature, although not new, is only now beginning to be actively considered by large numbers of researchers in the particle physics, cosmology and astrophysics…
The place of an anthropic argument in the discrimination between various cosmological models is to be reconsidered following the classic criticisms of Paul C. W. Davies and Frank J. Tipler. Different versions of the anthropic argument…
Did the universe have a beginning or does it exist forever, i.e. is it eternal at least in relation to the past? This fundamental question was a main topic in ancient philosophy of nature and the Middle Ages. Philosophically it was more or…
There has been considerable work on reasoning about the strategic ability of agents under imperfect information. However, existing logics such as Probabilistic Strategy Logic are unable to express properties relating to information…