Undecidability of the completeness problem of modal logic

Volume 9 / 1982

S. Thomason Banach Center Publications 9 (1982), 341-345 DOI: 10.4064/-9-1-341-345

Authors

  • S. Thomason

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image