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

Для полностью корректной онтологической проработки вопроса банковского счёта надо обсудить ещё несколько моментов. В соответствии с лекциями отцов стандарта 15926, существуют не только прошлые и настоящие, но и все будущие темпоральные части, при том для всех возможных миров. То есть "новая" темпоральная часть не "появляется", а "актуализируется". Видимо, адекватное описание логических оотношений темпоральных частей должно выполняться не на FOL, а в какой-то модальной логике, с темпоральными и деонтическими операторамию