In my previous talk, I showed how we can use modal logic to define and decide decision theory problems between agents which can read the source code of the environment. This time, we'll explore some particular decision theories in that context, show that material conditionals make dangerous counterfactuals, define a strong notion of "fair decision problems", and prove that a certain family of...