As others suggest, use rtings.com for some help comparing and knowing what's what.
First off, for PS4 pro you want an HDR 4K TV and one with a wide color gamut. This is key to take advantage of actual HDR. As for the two types of HDR content, HDR10 is going to be more widely used while Dobly Vision is slightly better it isn't as widespread. Dobly Vision is more for 4k Blu ray and can't be firmware added like HDR10 as it needs hardware to run. Not sure if PS4 games are going to have differences if run with Dobly Vision, my guess is no and if so the difference will be minuscule. You might also want to ensure you have a TV with good local dimming as it will enhance the lighting capabilities of HDR content.
The biggest constraints are size and price. Those scale together of course. If you are okay with 49" or less than the Sony X800d will be your best pick since the 49" is for around $800 and it has a wide color gamut. If larger is your thing than the Samsung KS800, Vizio P series, or Sony X850d are great options. All wide color gamut HDR TVs, though the Sony's don't have local dimming and the Samsung's local dimming is pretty poor. P series has Dobly Vision and an update to HDR10 as well as good local dimming. These three range in price depending on size from around $1200-$2000.
I'm going to most likely go with a Samsung KS800 60" as it magically fits the entertainment center I have. That and it should be big enough for a 4' to 8' viewing distance which I what I'm setting my furniture to.
My wish TV is the Sony Z9D 65" for $5000.
Before the PS3 everyone was nice to me :(
