Related papers: Temporal Logic of Minkowski Spacetime
We provide a definitive treatment, including sharp decay and the precise late-time asymptotic profile, for generic solutions of linear wave equations with a (singular) inverse-square potential in (3+1)-dimensional Minkowski spacetime. Such…
Opacity is a property of privacy and security applications asking whether, given a system model, a passive intruder that makes online observations of system's behaviour can ascertain some "secret" information of the system. Deciding opacity…
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,…
Although Dynamic Epistemic Logic (DEL) is an influential logical framework for representing and reasoning about information change, little is known about the computational complexity of its associated decision problems. In fact, we only…
We prove PSPACE-completeness of several reversible, fully deterministic systems. At the core, we develop a framework for such proofs (building on a result of Tsukiji and Hagiwara and a framework for motion planning through gadgets), showing…
With the theory of special relativity, time has been linked with space into a four-dimensional space-time from which a basic question must be asked: can space be really transformed into time and vice-versa? The response is affirmative if…
Suitable extensions of the monadic second-order theory of k successors have been proposed in the literature to capture the notion of time granularity. In this paper, we provide the monadic second-order theories of downward unbounded layered…
We construct a duality between several simple physical systems by showing that they are different aspects of the same quantum theory. Examples include the free relativistic massless particle and the hydrogen atom in any number of…
We construct and parametrize solutions to the constraint equations of general relativity in a neighborhood of Minkowski spacetime with arbitrary prescribed decay properties at infinity. We thus provide a large class of initial data for the…
It is shown that the finite satisfiability problem for two-variable logic over structures with one total preorder relation, its induced successor relation, one linear order relation and some further unary relations is EXPSPACE-complete.…
The four dimensional spacetime continuum, as first conceived by Minkowski, has become the dominant framework within which to describe physical laws. In this paper, we show how this four-dimensional structure is a natural property of…
For causal graphs we propose a definition of proper time which for small scales is based on the concept of volume, while for large scales the usual definition of length is applied. The scale where the change from "volume" to "length" occurs…
Space-time intervals corresponding to different events on the worldline of any ponderable object (for example a clock) are time-like. In consequence, in the analysis of any space-time experiment involving clocks only the region for $c\Delta…
Estimating future events is a difficult task. Unlike humans, machine learning approaches are not regularized by a natural understanding of physics. In the wild, a plausible succession of events is governed by the rules of causality, which…
A two-dimensional Minkowski spacetime diagram is neatly represented on a Euclidean ordinary plane. However the Euclidean lengths of the lines on the diagram do not correspond to the true values of physical quantities in spacetime, except…
Distributed systems are critical to reliable and scalable computing; however, they are complicated in nature and prone to bugs. To modularly manage this complexity, network middleware has been traditionally built in layered stacks of…
We begin from the generalised eight-dimensional Minkowski spacetime structure, previously developed in Clifford geometric algebra $ C\ell(\Re^3) $. We propose that this is the correct algebraic representation for physical three-dimensional…
We introduce the completeness problem for Modal Logic and examine its complexity. For a definition of completeness for formulas, given a formula of a modal logic, the completeness problem asks whether the formula is complete for that logic.…
Minkowski space serves as a framework for the theoretical constructions that deal with manifestations of relativistic effects in physical phenomena. But neither Minkowski himself nor the subsequent developers of the relativity theory have…
We extend the non-perturbative time-dependent bosonic string action of [3] to a N=1 supersymmetric world sheet action with graviton background, and assume a superpotential, function of the time super coordinate.