Return to Article Details
Semantical Interpretations of the Temporal Logic Systems CL and Kb with the Gaps of Traditional Truth-values