2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/94092The paper develops a version of modal logic that stays completely within the framework provided by quantum principles, and then proves, within the framework of quantum thinking, and in particular without invoking "hidden variables", a Bell-type nonlocality result.Version submitted today to Physical Review A. The Conclusions section is shortened to a brief description of the conclusion: The paper develops a version of modal logic that stays completely within the framework provided by quantum principles, and then proves, within the framework of quantum thinking, and in particular without invoking "hidden variables", a Bell-type nonlocality resultQuantum PhysicsNonlocality, Counterfactual, and Consistent Historiestext