A Decidable Dense Branching-time Temporal Logic