Procedure for assessing the truth of statements of discrete linear time logic

This article is a presentation of the work carried out at the IPRU Institute on the topic “Carrying out theoretical and applied work for modeling temporary relationships in databases. Development of inclusive means for processing temporal and fuzzy knowledge.” The article is devoted to the conceptual and theoretical foundations of an automatic (computer) procedure for assessing the truth of statements of discrete linear time logic with four operators: always, sometimes, next and while.