Effective choice for relations and reducibilities in classes of constructive and positive models Yu. G. Ventsov OriginalPaper Pages: 63 - 73
Modal logics and varieties of modal algebras: The beth properties, interpolation, and amalgamation L. L. Maksimova OriginalPaper Pages: 90 - 105