A natural deduction system for bundled branching time logic