相关论文: Logic of Simultaneity
The use of spatio-temporal logics in control is motivated by the need to impose complex spatial and temporal behavior on dynamical systems, and to control these systems accordingly. Synthesizing correct-by-design control laws is a…
We investigate quantum correlations in time in different approaches. We assume that temporal correlations should be treated in an even-handed manner with spatial correlations. We compare the pseudo-density matrix formalism with several…
Time is, figuratively and literally, becoming the new dimension for crystalline matter. As such, rapid recent progress on time-varying media gave rise to the notion of temporal and spatiotemporal crystals. Fundamentally rethinking the role…
Quantum information and computation may serve as a source of useful axioms and ideas for the quantum logic/quantum structures project of characterizing and classifying types of physical theories, including quantum mechanics and classical…
I explain in what sense the structure of space and time is probably vague or indefinite, a notion I define. This leads to the mathematical representation of location in space and time by a vague interval. From this, a principle of…
An extended analysis is made of the Gell-Mann and Hartle axioms for a generalised `histories' approach to quantum theory. Emphasis is placed on finding equivalents of the lattice structure that is employed in standard quantum logic.…
A two boundary quantum mechanics without time ordered causal structure is advocated as consistent theory. The apparent causal structure of usual "near future" macroscopic phenomena is attributed to a cosmological asymmetry and to rules…
A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{\lambda,=} can be naturally seen as the systems of pebbles (flexible constants)…
Quantified CTL (QCTL) is a well-studied temporal logic that extends CTL with quantification over atomic propositions. It has recently come to the fore as a powerful intermediary framework to study logics for strategic reasoning. We extend…
I examine the debate between substantivalists and relationalists about the ontological character of spacetime and conclude it is not well posed. I argue that the so-called Hole Argument does not bear on the debate, because it provides no…
We survey indications from different branches of Physics that the fine scale structure of spacetime is not adequately described by a manifold. Based on the hints we accumulate, we propose a new structure, which we call a quantum topos. In…
For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general…
Contemporary scientific perspectivism is re-evaluated and extended to a comprehensive perspectivist methodology and 'mediated' realistic epistemology, especially, with reference to quantum mechanics. In the present study, this is realized…
The formalism for histories-based generalized quantum mechanics developed in two earlier papers is applied to the treatment of histories (of particles or fields or more general objects) in curved spacetimes (which need not admit foliation…
We review some modern theories about the structure of space and time, in particular those related to discrete space and time. Following an epistemological method we start from theories which discuss discrete space and time as a mathematical…
We analyse and develop the recent suggestion that a temporal form of quantum logic provides the natural mathematical framework within which to discuss the proposal by Gell-Mann and Hartle for a generalised form of quantum theory based on…
An idealised experiment estimating the spacetime topology is considered in both classical and quantum frameworks. The latter is described in terms of histories approach to quantum theory. A procedure creating combinatorial models of…
The inherent difficulty in talking about quantum decoherence in the context of quantum cosmology is that decoherence requires subsystems, and cosmology is the study of the whole Universe. Consistent histories gave a possible answer to this…
A possible causal solution to the problem of providing a spacetime description of the transmission of signals in quantum entangled states is described using a `bimetric' spacetime structure, in which the quantum entanglement measurements…
The importance of intuitionistic temporal logics in Computer Science and Artificial Intelligence has become increasingly clear in the last few years. From the proof-theory point of view, intuitionistic temporal logics have made it possible…