Formalising Newcomblike Problems

This is the write-up of my MATS project so far, as a mentee of Abram Demski. Those who would prefer a more formal/academic/mathematical write-up should look at the AAMAS submission here.TL:DR, a formal framework for representing CDT, EDT and UDT on the majority of classical Newcomblike problems, plus some accompanying results about how CDT can be made to pay for ignorance.IntroductionI present my framework for hosting classical decision theories (Causal, Evidential and Updtateless/Functional dec...