Related papers: The Sasaki Hook is not a [Static] Implicative Conn…
Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effectus theory are not subobjects having a Heyting algebra…
Measurement-induced back action, a direct consequence of the Heisenberg Uncertainty Principle, is the defining feature of quantum measurements. We use quantum measurement theory to analyze the recent experiment of Safavi-Naeini et al.…
Two recent arguments for linear dynamics in quantum theory are critically re-examined. Neither argument is found to be satisfactory as it stands, although an improved version of one of the arguments can in fact be given. This improved…
The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements cannot be viewed as revealing pre-existing properties of…
The paper investigates the non-local property of quantum mechanics in the quantum hydrodynamic analogy (QHA) given by Madelung. The role of the quantum potential in generating the non-local dynamics of quantum mechanics is analyzed. The…
A continuous projective measurement of a quantum system often leads to a suppression of the dynamics, known as the Zeno effect. Alternatively, generalized nonprojective, so-called "weak" measurements can be carried out. Such a measurement…
In the light of some recent results, it is argued that usual concepts of causality and locality are approximations valid at scales greater than the Compton wavelength and corresponding time scales. It follows that the "spooky" non-locality…
Realist interpretations of quantum mechanics presuppose the existence of elements of reality that are independent of the actions used to reveal them. Such a view is challenged by several no-go theorems that show quantum correlations cannot…
A dynamic logic ${\mathbf B}$ can be assigned to every automaton ${\mathcal A}$ without regard if ${\mathcal A}$ is deterministic or nondeterministic. This logic enables us to formulate observations on ${\mathcal A}$ in the form of composed…
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…
An analysis of the path-integral approach to quantum theory motivates the hypothesis that two experiments with the same classical action should have dual ontological descriptions. If correct, this hypothesis would not only constrain…
Experimental evidene of the last decades has made the status of "collapses of the wave function" even more shaky than it already was on conceptual grounds: interference effects turn out to be detectable even when collapses are typically…
Though the topic of causal inference is typically considered in the context of classical statistical models, recent years have seen great interest in extending causal inference techniques to quantum and generalized theories. Causal…
Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may…
We attempt to characterize irreversibility of a dynamical system from the existence of different forward and backward mathematical representations depending on the direction of the time arrow. Such different representations have been…
Utilizing the general theory of open quantum systems to investigate the exact dynamical evolution of simple bilinear systems, we discover a mechanism of the dynamical genesis of quantum entanglement. We focus in detail on the exact quantum…
In this paper, we study an extension of the stable model semantics for disjunctive logic programs where each true atom in a model is associated with an algebraic expression (in terms of rule labels) that represents its justifications. As in…
This work will incorporate a few related tools for addressing the conceptual difficulties arising from sewing together classical and quantum mechanics: deterministic operators, weak measurements and post-selection. Weak Measurement, based…
Time-symmetric interpretations of quantum theory are often presented as featuring "retrocausal" effects in addition to the usual forward notion of causation. This paper examines the ontological implications of certain timesymmetric…
We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of…