TC is a sub-type of fixpoint logics.
TC یک زیر نوع fixpoint را از دست منطق.