Scott’s framework doesn’t have do, because do requires you to get “off the causal shell”, to talk about causally impossible worlds, while finitely factored sets restrict themselves to only causally possible worlds.
Scott’s framework doesn’t have do, because do requires you to get “off the causal shell”, to talk about causally impossible worlds, while finitely factored sets restrict themselves to only causally possible worlds.