Steven K. Thomason

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

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

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


  Loading...