Physical properties as modal operators in the topos approach to quantum   mechanics
  In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties. 
Hector Freytes, Graciela Domenech, Christian de Ronde
quant-ph