[deleted] comments on A model of UDT with a halting oracle

[[deleted]]

Is there a reason you’re using logical conditionals rather than Pearlian counterfactual conditionals like TDT?