A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus