Related papers: Temporal Logic of Minkowski Spacetime
The aim of this work is to provide a family of qualitative theories for spatial change in general, and for motion of spatial scenes in particular. To achieve this, we consider a spatio-temporalisation MTALC(D_x), of the well-known ALC(D)…
I characterize the Lorentzian manifolds properly isometrically embeddable in Minkowski spacetime (i.e. the Lorentzian submanifolds of Minkowski spacetime that are also closed subsets). Moreover, I prove that the Lorentzian manifolds that…
It is shown that causal automorphisms on two-dimensional Minkowski spacetime can be characterized by the invariance of the wave equations.
The choice of the right trade-off between expressiveness and complexity is the main issue in interval temporal logic. In their seminal paper, Halpern and Shoham showed that the satisfiability problem for HS (the temporal logic of Allen's…
A conventional space-time diagram is $r-ct$ one, which satisfies the Minkowski geometry. This geometry conflict the intuition from the Euclid geometry. In this work an Euclid space-time diagram is proposed to describe relativistic world…
In this paper, it is established, in the case of graphs, that time-like extremal surfaces of dimension $1+n$ in the Minkowski space of dimension $1+n+m$ can be described by a symmetric hyperbolic system of PDEs with the very simple…
We analyze properties of the Sp(2M) conformally invariant field equations in the recently proposed generalized $\half M(M+1)$-dimensional space-time $\M_M$ with matrix coordinates. It is shown that classical solutions of these field…
We show that the leading-order term in the late-time asymptotics of solutions to the linear wave equation on radially symmetric stationary perturbations of $(2 + 1)$-dimensional Minkowski space is proportional to $u^{-1/2}v^{-1/2}$ (which…
Reachability for piecewise affine systems is known to be undecidable, starting from dimension $2$. In this paper we investigate the exact complexity of several decidable variants of reachability and control questions for piecewise affine…
The paper presents a solution to the long-standing question about the decidability of the two-variable fragment of the superintuitionistic predicate logic $\mathbf{QLC}$ defined by the class of linear Kripke frames, which is also the…
Some foundational results on the geometry of Lorentz-Minkowski spaces and Finsler spacetimes are obtained. We prove that the local light cone structure of a reversible Finsler spacetime with more than two dimensions is topologically the…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
Metric Temporal Logic $\mathsf{MTL}[\until_I,\since_I]$ is one of the most studied real time logics. It exhibits considerable diversity in expressiveness and decidability properties based on the permitted set of modalities and the nature of…
Subexponential logic is a variant of linear logic with a family of exponential connectives--called subexponentials--that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening…
A quantum deformation of the conformal algebra of the Minkowskian spacetime in $(3+1)$ dimensions is identified with a deformation of the $(4+1)$-dimensional AdS algebra. Both Minkowskian and AdS first-order non-commutative spaces are…
We introduce a framework of structural approximation to represent Lorentz-invariant Minkowski space-time as the limit of finite cyclic lattices, each equipped with the action of a finite quasi-Lorentz group. This construction provides a…
We consider the model of parametrized asynchronous shared-memory pushdown systems, as introduced in [Hague'11]. In a series of recent papers it has been shown that reachability in this model is PSPACE-complete [Esparza, Ganty, Majumdar'13]…
In 1979 Richard Statman proved, using proof-theory, that the purely implicational fragment of Intuitionistic Logic (M-imply) is PSPACE-complete. He showed a polynomially bounded translation from full Intuitionistic Propositional Logic into…
For over a century Minkowskian spacetime has dominated discussions of space contraction and time dilation within special relativity. Brown and Pooley have called into question both the assumptions of Minkowski and the effects his presumed…
In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic. We show that the…