Improved Decision Procedures for Lewis s Calculus S4 and Von Wright s Calculus M

Alan Ross Anderson. Improved Decision Procedures for Lewis s Calculus S4 and Von Wright s Calculus M. Journal of Symbolic Logic, 19(3):201-214, 1954.

Abstract

Abstract is missing.