Text this: Использование модальной логики для проектирования оболочек экспертных систем