Axiomitization of Boundary Logic