  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.
