The author presents a formal logic analysis of all various senses of modal propositions and shows how Scotus strictly separated modality from temporality, and contingency from mutability.