LawrenceC comments on Why isn’t the following decision theory optimal?

[LawrenceC]

Fair enough. A less formal version of UDT. UDT at least has a formulation in Godel-Lob provability logic.