相关论文: Modal Interpretations and Relativity

Bohmian mechanics and spontaneous collapse models are theories that overcome the quantum measurement problem. While they are naturally formulated for non-relativistic systems, it has proven difficult to formulate Lorentz invariant…

In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W.…

A recent proof, formulated in the symbolic language of modal logic, shows that a well-defined formulation of the possibility mentioned in the title is answered affirmatively. In the paper being commented upon several proposals were made…

We demonstrate how to construct a lorentz-invariant, hidden-variable interpretation of relativistic quantum mechanics based on particle trajectories. The covariant theory that we propose employs a multi-time formalism and a…

Deduction is the one of the major forms of inferences and commonly used in formal logic. This kind of inference has the feature of monotonicity, which can be problematic. There are different types of inferences that are not monotonic, e.g.…

The parity violation at the level of weak interactions and other similar discrete symmetries breaking show that the invariance of laws under the full group of Lorentz transformations can not be taken granted. We examine the principle of…

We define a theory of noncommutative general relativity for canonical noncommutative spaces. We find a subclass of general coordinate transformations acting on canonical noncommutative spacetimes to be volume-preserving transformations.…

We study the relative succinctness and expressiveness of modal logics, and prove that these relationships can be as complex as any countable partial order. For this, we use two uniform formalisms to define modal operators, and obtain…

Nonmonotonic logics are usually characterized by the presence of some notion of 'conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the…

One way of proving theorems in modal logics is translating them into the predicate calculus and then using conventional resolution-style theorem provers. This approach has been regarded as inappropriate in practice, because the resulting…

Some reasons are given to suggest that the interpretation of the Lorentz' transformations as if they referred to coordinates instead of to intervals could be incorrect. Besides, the usual form of such transformations, by using variables…

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes, but leaves the theory's basic dynamical content…

We consider a modal logic that can formalise statements about uncertainty and beliefs such as `I think that my wallet is in the drawer rather than elsewhere' or `I am confused whether my appointment is on Monday or Tuesday'. To do that, we…

Within the framework of general relativity, in some cases at least, it is a delicate and interesting question just what it means to say that an extended body is or is not "rotating". It is so for two reasons. First, one can easily think of…

Under the assumption of closed-path velocity of light invariant, we show both the general expression of velocity of light in an ordinary inertial reference frame and the generalized Lorentz transformation between the ordinary inertial…

The apparent times and positions of moving clocks as predicted by both `non-local' and `local' Lorentz Transformations are considered. Only local transformations respect translational invariance. Such transformations change temporal but not…

It is argued that the usual postulates of quantum mechanics are too strong. It is conjectured that it is possible to interpret all experiments if we maintain the formalism of quantum theory without modification, but weaken the postulates…

We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of frames such that the satisfiability problem is undecidable, even…

Several no-go theorems showed the incompatibility between the locality assumption and quantum correlations obtained from maximally entangled spin states. We analyze these no-go theorems in the framework of Bohm's interpretation. The…

We present a discrete model theory similar in structure to ordinary quantum mechanics, but based on a finite field instead of complex amplitudes. The interpretation of this theory involves only the "modal" concepts of possibility and…