Related papers: Temporal Logic of Minkowski Spacetime
A list of all possible causal relations in the $2$-dimensional Minkowski space $M$ is exhausted, based on the duality between timelike and spacelike in this particular case, and thirty topologies are introduced, all of them encapsulating…
This relativistic, time-travel spacetime is everywhere metrically flat, excepting a conical singularity. Observers following timelike geodesics can eventually encounter their past selves, aging in the opposite time sense. The spacetime is…
Defeasible logic is a rule-based nonmonotonic logic, with both strict and defeasible rules, and a priority relation on rules. We show that inference in the propositional form of the logic can be performed in linear time. This contrasts…
Priced timed automata provide a natural model for quantitative analysis of real-time systems and have been successfully applied in various scheduling and planning problems. The optimal reachability problem for linearly-priced timed automata…
The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verification of complex reactive systems to automated planning.…
Any 2-dim Riemannian manifold with spherical topology can be embedded isometrically into a lightcone of the Minkowski spacetime. We apply this fact to give a proof of the Kazdan-Warner identity.
We construct a Dirac equation that is consistent with one of the recently-proposed schemes for a "doubly-special relativity", a relativity with both an observer-independent velocity scale (still naturally identified with the speed-of-light…
In this paper, we analyze timed systems with data structures, using a rich interplay of logic and properties of graphs. We start by describing behaviors of timed systems using graphs with timing constraints. Such a graph is called…
A generalised equivalence principle is put forward according to which space-time symmetries and internal quantum symmetries are indistinguishable before symmetry breaking. Based on this principle, a higher-dimensional extension of Minkowski…
We consider the timelike minimal surface problem in Minkowski spacetimes and show local and global existence of such surfaces having arbitrary dimension $\geq 2$ and arbitrary co-dimension, provided they are initially close to a flat plane.
It is shown that continuous causal isomorphisms on two-dimensional Minkowski spacetime can be characterized by the invariance of wave equations.
In this two-part essay, we distinguish several senses in which general relativity has been regarded as "locally special relativistic". Here, in Part 1, we focus on senses in which a relativistic spacetime has been said to be "locally…
We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination. These are then used to obtain completely syntactic proofs of some…
In general relativity, cosmology and quantum field theory, spacetime is assumed to be an orientable manifold endowed with a Lorentz metric that makes it spatially and temporally orientable. The question as to whether the laws of physics…
A special case of the satisfiability problem, in which the clauses have a hierarchical structure, is shown to be solvable in linear time, assuming that the clauses have been represented in a convenient way.
Temporal logic is a very powerful formalism deeply investigated and used in formal system design and verification. Its application usually reduces to solving specific decision problems such as model checking and satisfiability. In these…
A minimal space-like surface in Minkowski space-time is said to be of general type if it is free of degenerate points. The fact that minimal space-like surfaces of general type in Minkowski space-time admit canonical parameters of the first…
We introduce the logic $\sf ITL^e$, an intuitionistic temporal logic based on structures $(W,\preccurlyeq,S)$, where $\preccurlyeq$ is used to interpret intuitionistic implication and $S$ is a $\preccurlyeq$-monotone function used to…
The Smoluchowski equation with a time dependent sink term is solved exactly. In this method by knowing the probability distribution at the origin P(0,s), one may derive the probability distribution at all positions i.e., P(x,s). Further the…
Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths. Standard temporal logics can only refer to a single path at a time, and therefore…