Модель логико-лингвистическая — модель, основанная на расширении формальной системы, в рамках которой вводятся процедуры изменения всех или части элементов формальной системы в зависимости от решаемых задач. М.Л.Л. часто используется как способ задания модели Крипке.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]