Unary Interpretation Logic

Let T be an arithmetical theory. We introduce a unary modal operator T to be interpreted arithmetically as the unary interpretability pred- icate over T. We present complete axiomatizations of the (unary) interpreta- bility principles underlying two important classes of theories. We also prove some basic modal results about these new axiomatizations.