A topological study of contextuality and modality

Kochen–Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer consistently to actual and possible properties of the system. By means of a topological argument, more precisely in terms of the existence of sections of sheaves, we give an extended version of Kochen–Specker theorem over this new structure. This allows us to prove that contextuality remains a central feature even in the enriched propositional system