> LDT (logical decision theory) seems to be an umbrella decision theory that only requires the use of logical counterfactuals, leaving the iteration type and updatelessness unspecified. So my understanding is that UDT1, UDT1.1, UDT2, FDT, and TDT are all logical decision theories.

[https://www.lesswrong.com/posts/QPhY8Nb7gtT5wvoPH/comparison...]