Quantum Measurements from a Logical Point of View
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion.We then study some properties of the models of this logic, and deduce some characteristics that any model (and hence, any formula