Lilia Chagrova

Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames

Alexander V. Chagrov, Lilia Chagrova, 1995, Stud Logica.

On the Degree of Neighborhood Incompleteness of Normal Modal Logics

Lilia Chagrova, 1996, Advances in Modal Logic.

The Decidability of Dependency in Intuitionistic Propositional Logic

Dick de Jongh, Lilia Chagrova, 1995, J. Symb. Log..

The Truth About Algorithmic Problems in Correspondence Theory

Alexander V. Chagrov, Lilia Chagrova, Lilia Chagrova, 2006, Advances in Modal Logic.

An undecidable problem in correspondence theory

Lilia Chagrova, Lilia Chagrova, 1991, Journal of Symbolic Logic.