George F. Schumm

Publication Activity (10 Years)

Years Active: 1968-1990
Publications (10 Years): 0

Publications

George F. Schumm, Stewart Shapiro
Expressive Completeness and Decidability. Notre Dame J. Formal Log. 31 (4) (1990)
George F. Schumm
The number of {□, →}-logics. Math. Log. Q. 36 (6) (1990)
George F. Schumm
Some Compactness Results for Modal Logic. Notre Dame J. Formal Log. 30 (2) (1989)
George F. Schumm
The number of nonnormal extensions of S4. Notre Dame J. Formal Log. 29 (1) (1988)
George F. Schumm
Some failures of interpolation in modal logic. Notre Dame J. Formal Log. 27 (1) (1986)
George F. Schumm
Bounded Properties in Modal Logic. Math. Log. Q. 27 (13-14) (1981)
George F. Schumm, Roy Edelstein
Negation-Free Modal Logics. Math. Log. Q. 25 (13-18) (1979)
George F. Schumm
in its place. Notre Dame J. Formal Log. 19 (4) (1978)
George F. Schumm
An Incomplete Nonnormal Extension of S3. J. Symb. Log. 43 (2) (1978)
George F. Schumm
A Henkin-style completeness proof for the pure implicational calculus. Notre Dame J. Formal Log. 16 (3) (1975)
George F. Schumm
Disjunctive extensions of S4 and a conjecture of Goldblatt's. Math. Log. Q. 21 (1) (1975)
George F. Schumm
Wajsberg normal forms for S5. J. Philos. Log. 4 (4) (1975)
George F. Schumm
Remark on a logic of preference. Notre Dame J. Formal Log. 16 (4) (1975)
George F. Schumm
. Notre Dame J. Formal Log. 15 (2) (1974)
George F. Schumm
S3.02=S3.03. Notre Dame J. Formal Log. 15 (1) (1974)
George F. Schumm
Solutions to four modal problems of Sobociński. Notre Dame J. Formal Log. 12 (3) (1971)
George F. Schumm
On a modal system of D. C. Makinson and B. Sobociński. Notre Dame J. Formal Log. 10 (3) (1969)
George F. Schumm
On some open questions of B. Sobociński. Notre Dame J. Formal Log. 10 (3) (1969)
George F. Schumm
A note on the structure of the power set. Notre Dame J. Formal Log. 9 (4) (1968)