Concepedia

S. K. Thomason

SK

Statistics

Publications

18

Citations

640

H-Index

15

Active since

1967

Affiliations

Simon Fraser University(Current)

Burnaby Hospital

S. K. Thomason is an author at Simon Fraser University specializing in computer science, modal logic, and mathematics.

Publications per year

1967–1993

18

Publications

18

An incompleteness theorem in modal logic

S. K. Thomason · Theoria · 1974 · 108 citations

, , +10

Reduction of second‐order logic to modal logic

S. K. Thomason · Mathematical logic quarterly · 1975 · 64 citations

, , +8

Categories of frames for modal logic

S. K. Thomason · Journal of Symbolic Logic · 1975 · 60 citations

, , +9

Free construction of time from events

S. K. Thomason · Journal of Philosophical Logic · 1989 · 47 citations

, , +9

Sublattices of the Recursively Enumerable Degrees

S. K. Thomason · Mathematical logic quarterly · 1971 · 41 citations

, , +12

1–5 of 18