Constraint-Bounded Capacity Logic