Семантика ограниченных множеств описаний состояний для квазиматричной логикитезисы доклада