No CrossRef data available.
Published online by Cambridge University Press: 12 March 2014
In [1] Anderson gave what he claimed was a decision procedure for Lewis's calculus S4. One of the proofs of [1] was faulty, however, and he sought to remedy the situation in [2] by modifying slightly one of the conditions of the decision procedure of [1]. Poliferno subsequently reported in [5] that, according to Anderson, the procedure of [2] was not adequate either, but tha t a correct decision procedure for S4 could be obtained by combining the procedures of [1] and [2]. The purpose of the present note is to show tha t none of the three procedures referred to above are correct decision procedures for S4.