> -- Драконограф писал(а):
> В общем, экономистам бы структуру Крипке с разметкой/интерпретацией соответствующей... да теорию/опыт формулирования *TL-формул... и можно будет заниматься формальной  вместо "шаманства"...
К сожалению, экономику невозможно свести к формальным моделям. Например, в какую модель вы поместите экономическую систему с 1000+ состояний, заранее неизвестных, к тому же описываемых не числами а некоторыми сущностями. А верификация и так есть. Например, проверка гипотезы H0.