L. A. Chagrova

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Publications

Dick De Jongh, L. A. Chagrova
The Decidability of Dependency in Intuitionistic Propositional Logic. J. Symb. Log. 60 (2) (1995)
Alexander V. Chagrov, L. A. Chagrova
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames. Stud Logica 55 (3) (1995)
L. A. Chagrova
An Undecidable Problem in Correspondence Theory. J. Symb. Log. 56 (4) (1991)