Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M. - Alan Ross Anderson (J. Symb. Log., 1954)

Correction to a Paper on Modal Logic. - Alan Ross Anderson (J. Symb. Log., 1955)

Independent Axiom Schemata for S5. - Alan Ross Anderson (J. Symb. Log., 1956)

Independent Axiom Schemata for Von Wright's M. - Alan Ross Anderson (J. Symb. Log., 1957)

Twenty-Fourth Annual Meeting of the Association for Symbolic Logic. - Alan Ross Anderson (J. Symb. Log., 1959)

Modalities in Ackermann's "Rigorous Implication". - Alan Ross Anderson; Nuel Belnap (J. Symb. Log., 1959)

A Simple Treatment of Truth Functions. - Alan Ross Anderson; Nuel Belnap (J. Symb. Log., 1959)

The Pure Calculus of Entailment. - Alan Ross Anderson; Nuel Belnap (J. Symb. Log., 1962)