George F. Schumm

18 papers Journal 18
YearRankTypeTitle / Venue / Authors
1990 J jnl
Expressive Completeness and Decidability.
Notre Dame J. Formal Log.
George F. Schumm, Stewart Shapiro
1990 J jnl
The number of {□, →}-logics.
Math. Log. Q.
George F. Schumm
1989 J jnl
Some Compactness Results for Modal Logic.
Notre Dame J. Formal Log.
George F. Schumm
1988 J jnl
The number of nonnormal extensions of S4.
Notre Dame J. Formal Log.
George F. Schumm
1986 J jnl
Some failures of interpolation in modal logic.
Notre Dame J. Formal Log.
George F. Schumm
1981 J jnl
Bounded Properties in Modal Logic.
Math. Log. Q.
George F. Schumm
1979 J jnl
Negation-Free Modal Logics.
Math. Log. Q.
George F. Schumm, Roy Edelstein
1978 J jnl
An Incomplete Nonnormal Extension of S3.
J. Symb. Log.
George F. Schumm
1978 J jnl
Putting
Notre Dame J. Formal Log.
George F. Schumm
1975 J jnl
A Henkin-style completeness proof for the pure implicational calculus.
Notre Dame J. Formal Log.
George F. Schumm
1975 J jnl
Disjunctive extensions of S4 and a conjecture of Goldblatt's.
Math. Log. Q.
George F. Schumm
1975 J jnl
Remark on a logic of preference.
Notre Dame J. Formal Log.
George F. Schumm
1975 J jnl
Wajsberg normal forms for S5.
J. Philos. Log.
George F. Schumm
1974 J jnl
S3.02=S3.03.
Notre Dame J. Formal Log.
George F. Schumm
1971 J jnl
Solutions to four modal problems of Sobociński.
Notre Dame J. Formal Log.
George F. Schumm
1969 J jnl
On a modal system of D. C. Makinson and B. Sobociński.
Notre Dame J. Formal Log.
George F. Schumm
1969 J jnl
On some open questions of B. Sobociński.
Notre Dame J. Formal Log.
George F. Schumm
1968 J jnl
A note on the structure of the power set.
Notre Dame J. Formal Log.
George F. Schumm