You must log in or register to comment.
Fantastic post.
No real conclusions, but interesting nonetheless.
The “current run”/“all runs” analogy between CS and modal logic is great, and I’m going to be thinking about this more in some of my own projects.