Undecidability of the completeness problem of modal logic S. Thomason — 1982 Banach Center Publications