Si, direi anch'io che si tratta di HDR, con il tipico effetto "fumettato" del Tone Mapping.
In realtà come dice giustamente Massi, non è semplicissimo individuare con precisione la PP applicata in una foto, anche perchè potrebbe essere il mix di due o più procedimenti diversi.
Però in questo caso mi pare proprio il classico HDR.
Ti segnalo due discussioni qui sul forum dove puoi vedere centinaia di esempi:
Club HDRQuando la foto diventa disegno