В общем, экономистам бы структуру Крипке с разметкой/интерпретацией соответствующей... да теорию/опыт формулирования *TL-формул... и можно будет заниматься формальнойпроверкой моделейвместо "шаманства"...