A. Chagrov

A note on expressive power of iteration

A. Chagrov, 1995 .

Normal modal logics with (in)finite sets of nonequivalent modalities

A. Chagrov, A. A. Chagrova, 2002 .

One more first order effect in Kripke semantics

A. Chagrov, 1995 .

The undecidability of the tabularity problem for modal logic

A. Chagrov, A. Chagrov, 1994 .

Possibilities of the classical interpretations of intuitionistic logic

A. Chagrov, 1987 .

Modal Logic (Oxford Logic Guides, vol. 35)

A. Chagrov, M. Zakharyaschev, M. Zakharyaschev, 1997 .