相关论文: Logic of Simultaneity

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical…

The purpose of this paper is to present a model of a quantum space-time in which the global symmetries of space-time are unified in a coherent manner with the internal symmetries associated with the state space of quantum-mechanics. If we…

The treatment of time in relativity does not conform to that in quantum theory. In the context of quantum gravity this is called "the problem of time". A crucial difference is that time $t$ may be seen as an observable in relativity theory,…

In this letter we briefly investigate the mathematical structure of space-time in the framework of discretization. It is shown that the discreteness of space-time may result in a new mechanical system which differ from the usual quantum…

In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cyber-Physical Systems. In this paper we present the Signal…

Causal fermion systems are introduced as a general mathematical framework for formulating relativistic quantum theory. By specializing, we recover earlier notions like fermion systems in discrete space-time, the fermionic projector and…

Challenging Mermin's perspective that ``correlations have physical reality; that which they correlate does not'' we argue that correlations and correlata are not fundamentally distinct. These are dual concepts depending on the tensor…

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…

We have performed an experimental test under the conditions of which quantum mechanics predicts a spatially-discontinuous single-particle transport. The transport is beyond the relativistic paradigm of movement in Cartesian space and…

We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging…

How does the topological space of science emerge? Inspired by the concept of maps of science, i.e. mapping scientific topics to a scientific space, we ask which topological structure a dynamical process of authors collaborating and…

Despite the obvious utility of the concept, it has often been argued that time does not exist. I take the opposite perspective: let's imagine that time does exist, and the universe is described by a quantum state obeying ordinary…

We present a hierarchical framework for analysing propositional linear-time temporal logic (PTL) to obtain standard results such as a small model property, decision procedures and axiomatic completeness. Both finite time and infinite time…

Space-Time in general relativity is a dynamical entity because it is subject to the Einstein field equations. The space-time metric provides different geometrical structures: conformal, volume, projective and linear connection. A deep…

We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and belief using modalities. Nowadays, it is very good…

A new type of spatial-temporal correlation in the process approaching to the self-organized criticality is investigated for the two simple models for biological evolution. The change behaviors of the position with minimum barrier are shown…

First-order logic is typically presented as the study of deduction in a setting with elementary quantification. In this paper, we take another vantage point and conceptualize first-order logic as a linear space that encodes "plausibility".…

In the paper we consider an interesting possibility of a time as a stochastic process in quantum mechanics.In order to do it we reconsider time as a mechanical quantity in classical mechanics and afterwards we quantize it. We consider…

We propose a geometric setting of the axiomatic mathematical formalism of quantum theory. Guided by the idea that understanding the mathematical structures of these axioms is of similar importance as was historically the process of…

The paper puts forward a conceptual framework in which the phenomenon of time can be presented and discussed in a proper way. We argue that change is ontologically and epistemologically a more basic phenomenon than time. Time is an abstract…