Abstract

We present a complete axiomatization of test algebra ([24,18,29]), the two-sorted algebraic
variant of Propositional Dynamic Logic (PDL,[21,7]). The axiomatization consists of adding a
finite number of equations to any axiomatization of Kleene algebra ([15,26,17,4]) and algebraic
translations of the Segerberg ([27]) axioms for PDL. Kleene algebras are not finitely axiomatizable ([25,6]), so
... read more