Logical calculi for reasoning with binding door