相关论文: Logic of Simultaneity

In the last decades the logico-algebraic approach to quantum mechanics turned to be a successful tool to render the quantum mechanical formalism on a steady operationalistic background. The algebraic approach to general relativity first…

We argue that space and space-time emerge as a consequence of dynamical collapse of the wave function of macroscopic objects. Locality and separability are properties of our approximate, emergent universe. At the fundamental level,…

This paper discusses how the transactional interpretation of quantum mechanics can provide for a natural account of the emergence of spacetime events from a quantum substratum. In this account, spacetime is not a substantive manifold that…

Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social…

We consider the classical concept of time of permanence and observe that its quantum equivalent is described by a bona fide self-adjoint operator. Its interpretation, by means of the spectral theorem, reveals that we have to abandon not…

We propose a formulation of quantum mechanics in an extended Fock space in which a tensor product structure is applied to time. Subspaces of histories consistent with the dynamics of a particular theory are defined by a direct quantum…

The classical procedures which define the relativistic notion of space-time can be implemented in the framework of Quantum Field Theory. Only relying on the conformal symmetries of field propagation, time-frequency transfer and localization…

This paper surveys main and recent studies on temporal logics in a broad sense by presenting various logic systems, dealing with various time structures, and discussing important features, such as decidability (or undecidability) results,…

In order to gain a better understanding of the state space of programs, with the aim of making their verification more tractable, models based on directed topological spaces have been introduced, allowing to take in account equivalence…

Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a…

Classical mechanics, relativity, electrodynamics and quantum mechanics are often depicted as separate realms of physics, each with its own formalism and notion. This remains unsatisfactory with respect to the unity of nature and to the…

To operate intelligently in the world, an agent must reason about its actions. The consequences of an action are a function of both the state of the world and the action itself. Many aspects of the world are inherently stochastic, so a…

We provide an overview of the results we have attained in the last decade on the identification of quantum structures in cognition and, more specifically, in the formalization and representation of natural concepts. We firstly discuss the…

Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…

This paper is devoted to discussing the topological structure of the arrow of time. In the literature, it is often accepted that its algebraic and topological structures are that of a one-dimensional Euclidean space $\mathbb{E}^1$, although…

In this paper I argue that the fundamental aspect of our notion of time is that it defines an order relation, be it a total order relation between configurations of the world or just a partial order relation between events. This position is…

The reliability of autonomous systems depends on their robustness, i.e., their ability to meet their objectives under uncertainty. In this paper, we study spatiotemporal robustness of temporal logic specifications evaluated over…

In this paper, we argue that spacetime in causal fermion systems can be understood as the web of correlations of a many-body quantum system.This argument highlights the fact that causal fermion systems is a completely relational theory. We…

Stochastic Spatio-Temporal processes are prevalent across domains ranging from modeling of plasma to the turbulence in fluids to the wave function of quantum systems. This letter studies a measure-theoretic description of such systems by…

This paper introduces a logical system, called BV, which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challenging for the sequent calculus, and so far it is not achieved…