Stuart_Armstrong comments on From halting oracles to modal logic

[Stuart_Armstrong]

This seems good. I’ll think about it more.