Related papers: Modal logic approach to preferred bases in the qua…
If the systems of quantum theory are thought of as elementary information carriers in the first place, rather than elementary constituents of matter, and their connections are logical connections within a given algorithm, rather than…
We present a straightforward embedding of quantified multimodal logic in simple type theory and prove its soundness and completeness. Modal operators are replaced by quantification over a type of possible worlds. We present simple…
In the past decade, the toolkit of quantum information has been expanded to include processes in which the basic operations do not have definite causal relations. Originally considered in the context of the unification of quantum mechanics…
When quantum fields are studied on manifolds with boundary, the corresponding one-loop quantum theory for bosonic gauge fields with linear covariant gauges needs the assignment of suitable boundary conditions for elliptic differential…
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…
In the second paper of this series we extend our Bayesian reanalysis of the evidence for a cosmic variation of the fine structure constant to the semi-parametric modelling regime. By adopting a mixture of Dirichlet processes prior for the…
Standard Quantum Mechanics, although successful in terms of calculating and predicting results, is inherently difficult to understand and can suffer from misinterpretation. Entropic Dynamics is an epistemic approach to quantum mechanics…
We strengthen the case that the new logical perspective afforded by topos theory is suitable to the task of describing the physical world around us. In exploring some of the aspects of construction of a simple quantum-mechanical system in a…
We classify the propositional modal validities arising from the category of sets under its natural classes of morphisms. The resulting validities depend on the morphism class, the size of the world, and the permitted substitution instances.…
A remarkable feature of quantum theory is that particles with identical intrinsic properties must be treated as indistinguishable if the theory is to give valid predictions. In the quantum formalism, indistinguishability is expressed via…
This paper serves as a preparation of work that focuses on extracting cosmological sectors from Loop Quantum Gravity. We start with studying the extraction of subsystems from classical systems. A classical Hamiltonian system can be reduced…
The main contribution of the present paper is the introduction of a simple yet expressive hybrid-dynamic logic for describing quantum programs. This version of quantum logic can express quantum measurements and unitary evolutions of states…
It is emphasized that a many-worlds interpretation of quantum theory exists only to the extent that the associated basis problem is solved. The core basis problem is that the robust enduring states specified by environmental decoherence…
We take quantum theory and replace $\mathbb{C}$ by $\mathbb{C}[\varepsilon]$ where $\varepsilon^2=0$, i.e. we extend quantum theory to the ring of dual complex numbers. The aim is to develop a common language in which to treat continuous…
Most approaches towards a quantum theory of gravitation indicate the existence of a minimal length scale of the order of the Planck length. Quantum mechanical models incorporating such an intrinsic length scale call for a deformation of…
This paper develops an agent-centric account of measurement that treats the preferred-basis problem is fundamentally perspectival. On this view, the system--apparatus--environment decomposition and the observables that are apt to become…
Notions of nonstabilizerness, or "magic", quantify how non-classical quantum states are in a precise sense: states exhibiting low nonstabilizerness preclude quantum advantage. We introduce 'pseudomagic' ensembles of quantum states that,…
Quantum simulation provides quantum systems under study with analogous controllable quantum systems and has wide applications from condensed-matter physics to high energy physics and to cosmology. The quantum system of a homogeneous and…
Use is made of a relativistic kinematic modulation effect to compliment imagery from Stochastic Electrodynamics to provide intuitive paradigms for Quantum Mechanics. Based on these paradigms, resolutions for epistemological problems vexing…
This paper aims at providing a comprehensive solution to the archaic open problem: how to define semantics of three-valued modal logic with vivid intuitive picture, convincing philosophical justification as well as versatile practical…