Message Boards Message Boards


Kripke Frames and the Wolfram Physics model

Posted 8 months ago
0 Replies
1 Total Likes

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.

Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
or Discard

Group Abstract Group Abstract