Carnap's intensional logic holds that the truth value of universal propositions depends on the modal...