 A complete finite axiomatization of the Peircean branching time temporal logic was given by Burgess (1980), using a version of the so-called Gabbay Irreflexivity Rule. Zanardo (1990) provides an alternative axiomatization, where the Gabbay Irreflexivity Rule is replaced by an infinite list of axioms.