В работе развиваются логические формализмы, связанные с объектно-ориентированным моделированием. В частности, анализируется опыт работы с дескриптивными логиками, ориентированными на построение объектных моделей логическими средствами (т.н. ОО-проекциями), и рассматриваются вопросы дальнейшего развития этих формализмов. Вводится понятие объектной теории как расширение определения ОО-проекций.
дескриптивная логика, объектная модель, оо-проекция, объектная теория, язык программирования libretto