George F. Schumm

According to our database, George F. Schumm authored at least 19 papers between 1968 and 1990.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1990

Expressive Completeness and Decidability.

George F. Schumm, Stewart Shapiro

Notre Dame J. Formal Log., 1990

The number of {□, →}-logics.

George F. Schumm

Math. Log. Q., 1990

1989

Some Compactness Results for Modal Logic.

George F. Schumm

Notre Dame J. Formal Log., 1989

1988

The number of nonnormal extensions of S4.

George F. Schumm

Notre Dame J. Formal Log., 1988

1986

Some failures of interpolation in modal logic.

George F. Schumm

Notre Dame J. Formal Log., 1986

1981

Bounded Properties in Modal Logic.

George F. Schumm

Math. Log. Q., 1981

1979

Negation-Free Modal Logics.

George F. Schumm, Roy Edelstein

Math. Log. Q., 1979

1978

Putting <i>K</i> in its place.

George F. Schumm

Notre Dame J. Formal Log., 1978

An Incomplete Nonnormal Extension of S3.

George F. Schumm

J. Symb. Log., 1978

1975

Remark on a logic of preference.

George F. Schumm

Notre Dame J. Formal Log., 1975

A Henkin-style completeness proof for the pure implicational calculus.

George F. Schumm

Notre Dame J. Formal Log., 1975

Disjunctive extensions of S4 and a conjecture of Goldblatt's.

George F. Schumm

Math. Log. Q., 1975

Wajsberg normal forms for S5.

George F. Schumm

J. Philos. Log., 1975

1974

<i>K</i> and <i>Z</i>.

George F. Schumm

Notre Dame J. Formal Log., 1974

S3.02=S3.03.

George F. Schumm

Notre Dame J. Formal Log., 1974

1971

Solutions to four modal problems of Sobociński.

George F. Schumm

Notre Dame J. Formal Log., 1971

1969

On a modal system of D. C. Makinson and B. Sobociński.

George F. Schumm

Notre Dame J. Formal Log., 1969

On some open questions of B. Sobociński.

George F. Schumm

Notre Dame J. Formal Log., 1969

1968

A note on the structure of the power set.

George F. Schumm

Notre Dame J. Formal Log., 1968