A conditional constructive logic for access control and its sequent calculus