Undecidability of the completeness problem of modal logic
Volume 9 / 1982
Banach Center Publications 9 (1982), 341-345
DOI: 10.4064/-9-1-341-345
