Формальные логические модели обладают:

свойством мотивации
свойством формализованности
ограниченностью и недоступностью
простотой механизма логического вывода
простотой представления логических взаимосвязей между фактами

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.