S. K. Thomason

776 total citations
24 papers, 338 citations indexed

About

S. K. Thomason is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Algebra and Number Theory. According to data from OpenAlex, S. K. Thomason has authored 24 papers receiving a total of 338 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 2 papers in Algebra and Number Theory. Recurrent topics in S. K. Thomason's work include Logic, Reasoning, and Knowledge (12 papers), Advanced Algebra and Logic (11 papers) and Logic, programming, and type systems (6 papers). S. K. Thomason is often cited by papers focused on Logic, Reasoning, and Knowledge (12 papers), Advanced Algebra and Logic (11 papers) and Logic, programming, and type systems (6 papers). S. K. Thomason collaborates with scholars based in Canada and United States. S. K. Thomason's co-authors include Penny Haxell and has published in prestigious journals such as Transactions of the American Mathematical Society, Proceedings of the American Mathematical Society and Canadian Journal of Mathematics.

In The Last Decade

S. K. Thomason

22 papers receiving 257 citations

Peers

Countries citing papers authored by S. K. Thomason

Since Specialization

Citations

This map shows the geographic impact of S. K. Thomason's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by S. K. Thomason with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites S. K. Thomason more than expected).

Fields of papers citing papers by S. K. Thomason

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by S. K. Thomason. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by S. K. Thomason. The network helps show where S. K. Thomason may publish in the future.

Co-authorship network of co-authors of S. K. Thomason

This figure shows the co-authorship network connecting the top 25 collaborators of S. K. Thomason. A scholar is included among the top collaborators of S. K. Thomason based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with S. K. Thomason. S. K. Thomason is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	Philosophy and Law: An Interpretation of Plato’s Minos 2015 ·Polis The Journal for Ancient Greek and Roman Political Thought ·S. K. Thomason	1
2	Free construction of time from events 1989 ·Journal of Philosophical Logic ·S. K. Thomason	14
3	Counting interval orders 1987 ·Order ·Penny Haxell, (unknown), S. K. Thomason	9
4	The extensions of the modal logic K5 1985 ·Journal of Symbolic Logic ·(unknown), S. K. Thomason	15
5	Undecidability of the completeness problem of modal logic 1982 ·Banach Center Publications ·S. K. Thomason	3
6	EUCLIDEAN INFINITESIMALS 1982 ·Pacific philosophical quarterly ·S. K. Thomason	2
7	Independent propositional modal logics 1980 ·Studia Logica ·S. K. Thomason	16
8	Categories of frames for modal logic 1975 ·Journal of Symbolic Logic ·S. K. Thomason	32
9	Reduction of second‐order logic to modal logic 1975 ·Mathematical logic quarterly ·S. K. Thomason	30
10	Reduction of tense logic to modal logic II 1975 ·Theoria ·S. K. Thomason	11
11	The logical consequence relation of propositional tense logic 1975 ·Mathematical logic quarterly ·S. K. Thomason	6
12	An incompleteness theorem in modal logic 1974 ·Theoria ·S. K. Thomason	65
13	Reduction of tense logic to modal logic II 1974 ·Theoria ·S. K. Thomason	15
14	A new representation of $S5$. 1973 ·Notre Dame Journal of Formal Logic ·S. K. Thomason	10
15	Noncompactness in propositional modal logic 1972 ·Journal of Symbolic Logic ·S. K. Thomason	12
16	Sublattices of the Recursively Enumerable Degrees 1971 ·Mathematical logic quarterly ·S. K. Thomason	22
17	Sublattices and Initial Segments of the Degrees of Unsolvability 1970 ·Canadian Journal of Mathematics ·S. K. Thomason	4
18	On initial segments of hyperdegrees 1970 ·Journal of Symbolic Logic ·S. K. Thomason	6
19	A Note on Non-Distributive Sublattices of Degrees and Hyperdegrees 1969 ·Canadian Journal of Mathematics ·S. K. Thomason	1
20	The forcing method and the upper semilattice of hyperdegrees 1967 ·Transactions of the American Mathematical Society ·S. K. Thomason	21

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact