Grįžti į straipsnio detales Temporalinės logikos sistemų CL ir Kb semantinės interpretacijos su tradicinių teisingumo reikšmių pertrūkiais