Halbach and Horsten show that this axiomatization of Kripke’s theory is significantly weaker than it’s classical cousin KF. The result demonstrates that restricting logic only for sentences with the truth predicate can hamper also the derivation of truth-free theorems. 