Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics