Communications of the Korean Mathematical Society (대한수학회논문집)
- Volume 9 Issue 4
- /
- Pages.803-808
- /
- 1994
- /
- 1225-1763(pISSN)
- /
- 2234-3024(eISSN)
SOME EQUIVALENTS OF L$\"{O}$ B'S THEOREM
Abstract
Since L$\ddot{o}$b's announcement of his solution to Henkin's problem (L$\ddot{o}$b (1954, 1955)) there has been successful and fruitful research on provability logic tied up with modal logic. Specially, L$\ddot{o}$b's Theorem is of far-reaching significance in the following meta-mathematical and philosophical sense.
Keywords