Abstract

This paper proposes a logic, motivated by modal interpretations, in which every quantum mechanics propositions has a truth-value. This logic is completely classical, hence violates the conditions of the Kochen-Specker theorem. It is shown how the violation occurs, and it is argued that this violation is a natural and acceptable consequence of modal interpretations. It is shown that despite its classicality, the proposed logic is empirically indistinguishable from quantum logic.