Steven K. Thomason

According to our database, Steven K. Thomason authored at least 15 papers between 1970 and 1997.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1997

Relational Models for the Modal Syllogistic^*.

Steven K. Thomason

J. Philos. Log., 1997

1993

Semantic analysis of the modal syllogistic.

Steven K. Thomason

J. Philos. Log., 1993

1989

Free construction of time from events.

Steven K. Thomason

J. Philos. Log., 1989

1985

The Extensions of the Modal Logic K5.

Michael C. Nagle, Steven K. Thomason

J. Symb. Log., 1985

1984

On constructing instants from events.

Steven K. Thomason

J. Philos. Log., 1984

1977

Modal Operators and Functional Completeness, II.

Steven K. Thomason

J. Symb. Log., 1977

1975

Reduction of second-order logic to modal logic.

Steven K. Thomason

Math. Log. Q., 1975

The logical consequence relation of propositional tense logic.

Steven K. Thomason

Math. Log. Q., 1975

Categories of Frames for Modal Logic.

Steven K. Thomason

J. Symb. Log., 1975

1974

Reduction of Tense Logic to Modal Logic. I.

Steven K. Thomason

J. Symb. Log., 1974

1973

A new representation of S5.

Steven K. Thomason

Notre Dame J. Formal Log., 1973

1972

Noncompactness in Propositional Modal Logic.

Steven K. Thomason

J. Symb. Log., 1972

Semantic Analysis of Tense Logics.

Steven K. Thomason

J. Symb. Log., 1972

1970

On Initial Segments of Hyperdegrees.

Steven K. Thomason

J. Symb. Log., 1970

A Theorem on Initial Segments of Degrees.

Steven K. Thomason

J. Symb. Log., 1970