Describir: Temporalines logikos sistemu CL ir K semantines interpretacijos su tradiciniu teisingumo reikšmiu pertrukiais.