ASP has only been formalized in ways that don’t translate to modal universes, so it’s only the analogous extensions that could apply there.
In the formulation here, it’s not enough that the agent one-box; it must do so provably in less than N steps. I think that both the valuations νZFC+Sound(ZFC)+A()=1(U()=1M) and νZFC+Sound(ZFC)+A()=1(U()=0) will probably be about 1/2, but I’m not sure.
ASP has only been formalized in ways that don’t translate to modal universes, so it’s only the analogous extensions that could apply there.
In the formulation here, it’s not enough that the agent one-box; it must do so provably in less than N steps. I think that both the valuations νZFC+Sound(ZFC)+A()=1(U()=1M) and νZFC+Sound(ZFC)+A()=1(U()=0) will probably be about 1/2, but I’m not sure.