On relative and bi-relative algebraic $K$-theory of rings of finite characteristic