cousin_it comments on From halting oracles to modal logic

[cousin_it]

Thanks for writing this! I just added a paragraph to my post to explain how the algorithm corresponds to a modal formula. Also I like your notation with $\overrightarrow{a}$ instead of $\overline{a}$, edited my post to use that instead.