Systems and methods of HARQ codebook determination for multiple PUCCH are disclosed. In some embodiments, a method performed by a base station for constructing a semi-static HARQ codebook for each of multiple PUCCH resources in an uplink slot, each of the multiple PUCCH resources carrying HARQ feedback for PDSCH transmissions within a certain downlink time interval. The base station, based on a TDRA table, determines a sub-TDRA table for each downlink time interval comprising entries of the TDRA table with a TDRA ending in the downlink time interval. This includes pruning each sub-TDRA table to remove entries with overlapping TDRAs. The semi-static HARQ codebook is constructed for each pruned sub-TDRA table based on the remaining entries in the pruned sub-TDRA tables. The semi-static HARQ codebook is transmitted to the wireless device. In this way, it is possible to construct a semi-static HARQ codebook for multiple PUCCH transmission within a slot.