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