The disjunction property of intermediate propositional logics. - Alexander V. Chagrov; Michael Zakharyaschev (Stud Logica, 1991)

Modal Companions of Intermediate Propositional Logics. - Alexander V. Chagrov; Michael Zakharyaschev (Stud Logica, 1992)

The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. - Alexander V. Chagrov; Michael Zakharyaschev (J. Symb. Log., 1993)

Algorithmic Aspects of Propositional Tense Logics. - Alexander V. Chagrov; Valentin B. Shehtman (CSL, 1994)

On the Independent Axiomatizability of Modal and Intermediate Logics. - Alexander V. Chagrov; Michael Zakharyaschev (J. Log. Comput., 1995)

Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames. - Alexander V. Chagrov; L. A. Chagrova (Stud Logica, 1995)

Modal Logic. - Alexander V. Chagrov; Michael Zakharyaschev (Oxford University Press, 1997)

How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics. - Alexander V. Chagrov; Mikhail N. Rybakov (Advances in Modal Logic, 2002)

The Truth About Algorithmic Problems in Correspondence Theory. - Alexander V. Chagrov; Lilia Chagrova (Advances in Modal Logic, 2006)