Czy pracodawca powinien udzielić pracownikowi dodatkowe dni urlopu wypoczynkowego?

Od 1 sierpnia 2023 r. przyjmujemy pracownika, który od 16 stycznia 2023 do 30 kwietnia 2023 przedstawił świadectwo służby (pełnił służbę zawodową w wojsku). W świadectwie wpisano, że pracownik został rozliczono w całości z urlopu wypoczynkowego w roku kalendarzowym, w którym został zwolniony z zawodowej służby wojskowej (wypłacono mu ekwiwalent za 22 dni urlopu wypoczynkowego). Na podstawie dokumentów, które pracownik przedstawił wychodzi mu wymiar 26 dni urlopu w roku.

Czy powinniśmy przyznać pracownikowi jeszcze 4 dni w 2023 roku czy zatrudniamy go bez prawa do urlopu wypoczynkowego w danym roku?