Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1993-07:
A.V. Chagrov, L.A. Chagrova Algorithmic Problems Concerning First-Order Definability of Modal Formulas on the Class of All Finite Frames
1.Full Text.