Logique modale - □ Distribution sur →

Question

Dans la logique modale k, la distribution □ sur →?

Par exemple, les éléments suivants seraient-ils corrects?

□ (P → Q) ≡ □ P → □ Q