https://infosekolah.net/ru/Темпоральная_логика