1. James's doctoral dissertation. Decidability in the logic of subordinate proofs (Yale University, 1962)
2. Modalities in the survey system of strict implication;Parry;this Journal,1939
3. A functional calculus of first order based on strict implication;Barcan (Marcus);this Journal,1946
4. Modalities and quantification;Carnap;this Journal,1946