Related papers: Temporal Logic of Minkowski Spacetime
We develop a proof-theoretic analysis of the Operational Standard of Matsas, Pleitez, Saa, Vanzella (2024) showing that admissible measurement in Minkowski Spacetime yields only finite observational sequences and thereby restricts the class…
A fully Poincare' covariant model is constructed out of the k-Minkowski spacetime. Covariance is implemented by a unitary representation of the Poincare' group, and thus complies with the original Wigner approach to quantum symmetries. This…
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed in polynomial space whereas semantic approaches directly…
Based on the hypothesis that the (non-reversible) arrow of time is intrinsic in any system, no matter how small, the consequences are discussed. Within the framework of local quantum physics it is shown how such a semi-group action of time…
To cure the lack of predictive power of general relativity Geroch proposed to complete the theory with an additional postulate that only "hole-free" spacetimes are permitted. I argue that this postulate is too strong -- it prohibits even…
We mathematically construct focal lenses for positive-mass particles in Minkowski space. Particles emanating from a point source, refocus with synchronized proper time regardless of initial direction and velocity. Minkowski space offers a…
We study time-like surfaces in the three-dimensional Minkowski space with diagonalizable second fundamental form. On any time-like W-surface we introduce locally natural principal parameters and prove that such a surface is determined…
In this paper we present an algorithm for performing runtime verification of a bounded temporal logic over timed runs. The algorithm consists of three elements. First, the bounded temporal formula to be verified is translated into a monadic…
We consider the domino problem on Schreier graphs of self-similar groups, and more generally their monadic second-order logic. On the one hand, we prove that if the group is bounded then the graph's monadic second-order logic is decidable.…
We present a new solution in the heterotic M-theory in which the metric depends on (cosmic) time. The solution preserves N=1 supersymmetry in 4 dimensions in the leading order of the $\kappa^{2/3}$ expansion. It is the first example of the…
Sofic shifts are symbolic dynamical systems defined by the set of bi-infinite sequences on an edge-labeled directed graph, called a presentation. We study the computational complexity of an array of natural decision problems about…
We derive a long distance effective action for space-time coordinates from a IIB matrix model. It provides us an effective tool to study the structures of space-time. We prove the finiteness of the theory for finite $N$ to all orders of the…
Contexts are terms with one `hole', i.e. a place in which we can substitute an argument. In context unification we are given an equation over terms with variables representing contexts and ask about the satisfiability of this equation.…
Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are…
We prove that the area of cross-sections of light-cones, in space-times satisfying suitable energy conditions, is smaller than or equal to that of the corresponding cross-sections in Minkowski, or de Sitter, or anti-de Sitter space-time.…
It is shown that order-invariance of two-variable first-logic is decidable in the finite. This is an immediate consequence of a decision procedure obtained for the finite satisfiability problem for existential second-order logic with two…
Relativistic twin paradox can have important implications for Mach's principle. It has been recently argued that the behavior of the time asynchrony (different aging of twins) between two flying clocks along closed loops can be attributed…
Minkowski space is a physically important space-time for which the finding an adequate holographic description is an urgent problem. In this paper we develop further the proposal made in hep-th/0303006 for the description as a duality…
The rigidity of the spacetime positive mass theorem states that an initial data set $(M,g,k)$ satisfying the dominant energy condition with vanishing mass can be isometrically embedded into Minkowski space. This has been established by…
Timed automata (TAs) are an extension of finite automata that can measure and react to the passage of time, providing the ability to handle real-time constraints using clocks. In 2009, Franck Cassez showed that the timed opacity problem,…