Related papers: Modal Interpretations and Relativity
Propositional term modal logic is interpreted over Kripke structures with unboundedly many accessibility relations and hence the syntax admits variables indexing modalities and quantification over them. This logic is undecidable, and we…
In a series of papers, a many-minds interpretation of quantum theory has been developed. The aim in these papers is to present an explicit mathematical formalism which constitutes a complete theory compatible with relativistic quantum field…
Standard models of multi-agent modal logic do not capture the fact that information is often \emph{ambiguous}, and may be interpreted in different ways by different agents. We propose a framework that can model this, and consider different…
The purpose of this article is to draw attention to some fundamental issues in General Relativity. It is argued that these deep issues cannot be resolved within the standard approach to general relativity that considers {\em every} solution…
Graded modal logic is the formal language obtained from ordinary (propositional) modal logic by endowing its modal operators with cardinality constraints. Under the familiar possible-worlds semantics, these augmented modal operators receive…
This paper from 2008 is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the foundations are laid for later results. These foundations consist of a thorough…
We present critical arguments against individual interpretation of Bohr's complementarity and Heisenberg's uncertainty principles. Statistical interpretation of these principles is discussed in the contextual framework. We support the…
Gravitational theories with Lorentz violation must account for a number of possible features in order to be consistent theoretically and phenomenologically. A brief summary of these features is given here. They include evasion of a no-go…
Quantizing the gravitational field described by General relativity being a notorious difficult, unsolved and maybe meaningless problem I use in this essay a different strategy: I consider a linear theory in the framework of Special…
The application of the notion of `observable' from gauge theory to diffeomorphism-invariant theories -- most relevantly to general relativity -- has led to numerous conceptual and technical issues when interpreting classical theories with…
We discuss the problem of finding a Lorentz invariant extension of Bohmian mechanics. Due to the nonlocality of the theory there is (for systems of more than one particle) no obvious way to achieve such an extension. We present a model…
In 1933, G\"odel introduced a provability interpretation of the propositional intuitionistic logic to establish a formalization for the BHK interpretation. He used the modal system, $\mathbf{S4}$, as a formalization of the intuitive concept…
In this paper, it is shown why Lorentz Transformation implies the general case where observed events are not necessarily in the inertia frame of any observer but assumes a special scenario when determining the length contraction and time…
This paper aims to provide an analysis of what it means when we say that a pair of theories, very generously construed, are equivalent in the sense that they are interdefinable. With regard to theories articulated in first order logic, we…
The discussion of the foundations of quantum mechanics is complicated by the fact that a number of different issues are closely entangled. Three of these issues are i) the interpretation of probability, ii) the choice between realist and…
In this article, I argue that modern spacetime physics causes problems for a number of traditional accounts of modality, but also offers important new ideas about the connection between modal and non-modal features of reality. I suggest…
The interpretative principle proposed by Bub in 1211.3062v1 [quant-ph] is justified only for all practical purposes (Bell's "FAPP trap"). An alternative interpretative principle is proposed. It brings to light those features of the quantum…
Modal interpretations constitute a particular approach to associating dynamical variables with physical systems in quantum mechanics. Given the `quantum logical' constraints that are typically adopted by such interpretations, only certain…
Interpretation is not the only way to explain a theory's success, form and features, and nor is it the only way to solve problems we see with a theory. This can also be done by giving a reductive explanation of the theory, by reference to a…
I present a relativistic covariant version of the Bohmian interpretation of quantum mechanics and discuss the corresponding measurable predictions. The covariance is incoded in the fact that the nonlocal quantum potential transforms as a…