Related papers: The Sasaki Hook is not a [Static] Implicative Conn…
In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications, in a similar spirit than a set of proof trees. The main…
This article presents a novel interpretation of quantum mechanics. It extends the meaning of ``measurement'' to include all property-indicating facts. Intrinsically space is undifferentiated: there are no points on which a world of locally…
The concept of ergotropy was previously introduced as the maximum extractable work from a quantum state. Its enhancement, which is induced by quantum correlation via projective measurement, was formulated as the daemonic ergotropy. In this…
By using dynamical invariants theory, Hassoul et al. [1,2] investigate the quantum dynamics of two (2D) and three (3D) dimensional time-dependent coupled oscillators. They claim that, in the 2D case, introducing two pairs of annihilation…
Dynamic logic is a modal logic for reasoning about programs. A cyclic proof system is a proof system that allows proofs containing cycles and is an alternative to a proof system containing (co-)induction. This paper introduces a sequent…
Although quantum states nicely explain experiments, the outcomes of experiments are not states. Instead, outcomes correspond to probability distributions. Twenty years ago we proved categorically that probability distributions leave open a…
In quantum physics, measurements give random results and yield a corresponding random back action on the state of the system subject to measurement. If a quantum system is probed continuously over time, its state evolves along a stochastic…
The asymptotic quantum trajectory of weak continuous measurement for the magnetometer is investigated. The magnetometer refers to a setup where the field-to-estimate and the measured moment are orthogonal, and the quantum state is governed…
This thesis reports progress in the analysis of causality and multi-agent logical paradoxes in quantum and post-quantum theories. These research areas are highly relevant for the foundations of physics as well as the development of quantum…
The classical belief revision framework, as proposed by Alchourron, Gardenfors, and Makinson, involves the revision of a theory based on eight postulates. In this paper, we focus on the exploration of a revision theory grounded in quantum…
Quantum physics can only make statistical predictions about possible measurement outcomes, and these predictions originate from an operator algebra that is fundamentally different from the conventional definition of probability as a…
In former work, we showed that a quantum algorithm is the sum over the histories of a classical algorithm that knows in advance 50% of the information about the solution of the problem - each history is a possible way of getting the…
In this article an attempt is made to present very recent conceptual and computational developments in QFT as new manifestations of old and well establihed physical principles. The vehicle for converting the quantum-algebraic aspects of…
In this paper we present the two-state vector formalism of quantum mechanics. It is a time-symmetrized approach to standard quantum theory particularly helpful for the analysis of experiments performed on pre- and post-selected ensembles.…
Infinite Gray code has been introduced by Tsuiki as a redundancy-free representation of the reals. In applications the signed digit representation is mostly used which has maximal redundancy. Tsuiki presented a functional program converting…
This paper presents an observational analysis of the Delayed-Choice Quantum Eraser experiment through the framework of quantum mechanics. The Delayed-Choice Quantum Eraser, a variation of the classic double-slit experiment, demonstrates the…
We study the magnetic field dependences of the conductivity in heavily doped, strongly disordered 2D quantum well structures within wide conductivity and temperature ranges. We show that the exact analytical expression derived in our…
We introduce two quantitative measures of the strength of causal relations in quantum theory and more general physical theories. These two measures, called the maximum and minimum causal effect, quantify the maximum and minimum changes in…
Understanding the relationship between brain activity and behavior is a central goal of neuroscience. Despite significant advances, a fundamental dichotomy persists: neural activity manifests as both discrete spikes of individual neurons…
In decentralized stochastic control (or stochastic team theory) and game theory, if there is a pre-defined order in a system in which agents act, the system is called \textit{sequential}, otherwise it is non-sequential. Much of the…