%0 Journal Article %A Chagrov, Alexander %A Zakharyaschev, Michael %D 1993 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 3 %P 967-1002 %T The undecidability of the disjunction property of propositional logics and other related problems %V 58