4 Types of Modality: Logical, Epistemic, Deontic and Propositional - Parallels 

Note about propositional modality: If one sentence is true, another is: -if implied - necessary, -if compatible - possible, and -if incompatible - impossible. That is how propositional relations relate to logical modality.