# Steven K. Thomason

According to our database

Collaborative distances:

^{1}, Steven K. Thomason authored at least 14 papers between 1970 and 1997.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1997

Relational Models for the Modal Syllogistic

^{*}.
J. Philosophical Logic, 1997

1993

Semantic analysis of the modal syllogistic.

J. Philosophical Logic, 1993

1989

Free construction of time from events.

J. Philosophical Logic, 1989

1985

The Extensions of the Modal Logic K5.

J. Symb. Log., 1985

1984

On constructing instants from events.

J. Philosophical Logic, 1984

1977

Modal Operators and Functional Completeness, II.

J. Symb. Log., 1977

1975

Reduction of second-order logic to modal logic.

Math. Log. Q., 1975

Categories of Frames for Modal Logic.

J. Symb. Log., 1975

1974

Reduction of Tense Logic to Modal Logic. I.

J. Symb. Log., 1974

1973

A new representation of S5.

Notre Dame Journal of Formal Logic, 1973

1972

Noncompactness in Propositional Modal Logic.

J. Symb. Log., 1972

Semantic Analysis of Tense Logics.

J. Symb. Log., 1972

1970

On Initial Segments of Hyperdegrees.

J. Symb. Log., 1970

A Theorem on Initial Segments of Degrees.

J. Symb. Log., 1970