In 1959, a paper appeared in The Journal of Symbolic Logic, with the unimpressive-sounding title “A Completeness Theorem in Modal Logic.” A completeness theorem is a guarantee that every universal ...
Saul Kripke, a math prodigy and pioneering logician whose revolutionary theories on language qualified him as one of the 20th century’s greatest philosophers, died on Sept. 15 in Plainsboro, New ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results