Order:
  1.  30
    On some open questions of B. Sobociński.G. F. Schumm - 1969 - Notre Dame Journal of Formal Logic 10 (3):261-262.
  2.  28
    A note on the structure of the power set.G. F. Schumm - 1968 - Notre Dame Journal of Formal Logic 9 (4):303-304.
  3.  26
    On a modal system of D. C. Makinson and B. Sobociński.G. F. Schumm - 1969 - Notre Dame Journal of Formal Logic 10 (3):263-265.
  4.  25
    Solutions to four modal problems of Sobociński.G. F. Schumm - 1971 - Notre Dame Journal of Formal Logic 12 (3):335-340.
  5.  6
    [Omnibus Review].G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.
  6.  31
    Bolesław Sobociński. A note on the regular and irregular modal systems of Lewis. Notre Dame journal of formal logic, vol. 3 , pp. 109–113. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):181-182.
  7.  38
    Sobociński Bolesław. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 71–80.Prior A. N., K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 299–304.Sobociński Bolesław. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 305–312.Sobociński Bolesław. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 313–318.Thomas Ivo. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 335–336.Thomas Ivo. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 337–338. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.
  8.  56
    M. J. Cresswell. The completeness of S0.5. Logique et analyse, n.s. vol. 9 , pp. 263–266. - Richard Routley. The decidability and semantical incompleteness of Lemmon's system S0.5. Logique et analyse, vol. 11 , pp. 413–421. - M. J. Cresswell. Note on the interpretation of SO.5. Logique et analyse, vol. 13 , pp. 376–378. - M. K. Rennie. Remark on Cresswell on S0.5. Logique et analyse, vol. 14 , pp. 757–758. [REVIEW]G. F. Schumm - 1973 - Journal of Symbolic Logic 38 (2):328-329.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  13
    Review: R. Routley, Decision Procedures and Semantics for C1, E1 and $S0.5^0$. [REVIEW]G. F. Schumm - 1973 - Journal of Symbolic Logic 38 (2):329-329.