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. https://www.roneverhart.com/Milwaukee-2981-20-M18-FUEL-4-1-2-in-6-in-Lock-On-Braking-Grinder-with-Slide-Switch/