  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 result.
