Kripke Semantics have been a popular tool in formalizations in logic, linguistics, and philosophy, and their underlying construct bears incredible surface resemblance to the Wolfram Physics model (with possible worlds corresponding to states, and the accessibility relation corresponding to rule application). I wonder if anyone would like to develop the correspondence as far as it is useful to do so. The first obvious problem with a naive translation between states and possible worlds is that we probably want a world to contain some extent in time. We might consider taking foliations of, clusters in, or other subsets of the causal hypergraph to correspond to possible worlds.

I just thought I'd throw this out there.