Без заголовка

Факт ориентированность это хорошо, но за ней обычно следует грабли логики первого порядка. В ситуации с модальностями почти любая попытка применения логики первого порядка ведёт к ошибкам, вне зависимости от личности и уровня подготовки применяющего. Проблема кратко рассмотрена в http://www-formal.stanford.edu/jmc/modality/modality.html Нельзя сделать общее логическое описание для всех информационных систем, хотя можно описать общие "циферки" (качества) для дальнейшей интерпретации ими. Лучше представлять факты чистой сигнатурой (темплейт-без-аксиомы). С деятельностным описанием для человека на нормальном литературном английском. Один и тот же пакет инстансов темплейтов может: 1. Верифицироваться кодом на Agda. 2. Рендериться в красивые диаграммы через Java и yFiles. 3. Управлять роботом. Общие данные, разный код. "Циферки" хорошо интерпретируются, в отличие от гибридов унитаза с холодильником на FOL. То есть, нужны алфавит и словарь языка, но словарь именно для людей - операторов и имплементаторов информационных систем.