Journal of Logic and Computation

Chagrov, A.V. and Zakharyaschev, Michael (1995) On the independent axiomatizability of modal and intermediate logics. Journal of Logic and Computation 5 (3), pp. 287-302. ISSN 0955-792X.

Studia Logica

Chagrov, A.V. and Zakharyaschev, Michael (1992) Modal companions of intermediate propositional logics. Studia Logica 51 (1), pp. 49-82. ISSN 0039-3215.

Chagrov, A.V. and Zakharyaschev, Michael (1991) The disjunction property of intermediate propositional logics. Studia Logica 50 (2), pp. 189-216. ISSN 0039-3215.

The journal of Symbolic Logic

Chagrov, A.V. and Zakharyaschev, M. (1993) The undecidability of the disjunction property of propositional logics and other related problems. The journal of Symbolic Logic 58 (3), pp. 967-1002. ISSN 0022-4812.