abramdemski comments on From halting oracles to modal logic

[abramdemski]

Quite helpful, thanks!

[Benya_Fallenstein]

(Thanks for the feedback!)