Темпоральная логика
темпоральной, на сайте с November 13, 2022 23:59
утверждений не меняются со временем, в темпоральной логике значение зависит от того, когда оно проверяется. Темпоральная логика позволяет выразить утверждения