Wow, this got more replies than I expected. I was partly kidding, in that I don’t think it’s a huge concern for humans, but for example the tableau decision pro

Wow, this got more replies than I expected. I was partly kidding, in that I don’t think it’s a huge concern for humans, but for example the tableau decision procedure[1] for modal logics such as epistemic logic is EXPTIME-complete[2]. [1]: https://en.wikipedia.org/wiki/Method_of_analytic_tableaux https://en.wikipedia.org/wiki/Method_of_analytic_tableaux [2]: https://arxiv.org/abs/0808.4133 https://arxiv.org/abs/0808.4133