La logica modale studia le proposizioni che contengono le nozioni
di possibilità e necessità.

Modal logic studies propositions that contain the notions of possibility and necessity.