Steven K. Thomason

15 papers Journal 15
YearRankTypeTitle / Venue / Authors
1997 J jnl
Relational Models for the Modal Syllogistic
J. Philos. Log.
Steven K. Thomason
1993 J jnl
Semantic analysis of the modal syllogistic.
J. Philos. Log.
Steven K. Thomason
1989 J jnl
Free construction of time from events.
J. Philos. Log.
Steven K. Thomason
1985 J jnl
The Extensions of the Modal Logic K5.
J. Symb. Log.
Michael C. Nagle, Steven K. Thomason
1984 J jnl
On constructing instants from events.
J. Philos. Log.
Steven K. Thomason
1977 J jnl
Modal Operators and Functional Completeness, II.
J. Symb. Log.
Steven K. Thomason
1975 J jnl
Categories of Frames for Modal Logic.
J. Symb. Log.
Steven K. Thomason
1975 J jnl
Reduction of second-order logic to modal logic.
Math. Log. Q.
Steven K. Thomason
1975 J jnl
The logical consequence relation of propositional tense logic.
Math. Log. Q.
Steven K. Thomason
1974 J jnl
Reduction of Tense Logic to Modal Logic. I.
J. Symb. Log.
Steven K. Thomason
1973 J jnl
A new representation of S5.
Notre Dame J. Formal Log.
Steven K. Thomason
1972 J jnl
Noncompactness in Propositional Modal Logic.
J. Symb. Log.
Steven K. Thomason
1972 J jnl
Semantic Analysis of Tense Logics.
J. Symb. Log.
Steven K. Thomason
1970 J jnl
A Theorem on Initial Segments of Degrees.
J. Symb. Log.
Steven K. Thomason
1970 J jnl
On Initial Segments of Hyperdegrees.
J. Symb. Log.
Steven K. Thomason