The paper considers certain properties of intermediate and moda propositional logics.The first part contains a proof of the theorem stating that each intermediate logic is closed under the Kreisel-Putnam rule xyz/(xy)(xz).

In this paper it is shown that there exist a structural complete interme- diate logics with the disjunction property, which was previously conjectured by H. Friedman. The intermedi.