# zbMATH — the first resource for mathematics

The disjunction property of intermediate propositional logics. (English) Zbl 0739.03016
Summary: This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate propositional logics and normal modal logics containing $$S4$$.

##### MSC:
 03B55 Intermediate logics 03B45 Modal logic (including the logic of norms)
Full Text: