理論や論理体系について決定可能性よりも弱い属性として半決定可能性(semidecidability)がある。