Объект исследования: темпоральная логика, языки спецификаций информационных систем. Методами математической логики установлена связь между реляционными базами данных в расширенном и обедненном языках. Получена интерпретация интервальной логики в моделях предикатов первого порядка, в частности в о-минимальных моделях.
