Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/0808.4133/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTTableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge — mentioned by evincarofautumnhttps://news.ycombinator.com/item?id=15030246urn:hackerpapers:mention:0808.4133:15030246Wed, 16 Aug 2017 19:10:45 GMT<p>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 [2]: https://arxiv.org/abs/0808.4133</p><p><a href="https://hackerpaper.kaipfister.de/p/0808.4133/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO