S. K. Thomason

Available identifiers

zbMath Open thomason.steven-kMaRDI QIDQ761435

List of research outcomes

Publication	Date of Publication	Type
Relational models for the modal syllogistic	1997-12-08	Paper
Semantic analysis of the modal syllogistic	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3987713	1992-06-28	Paper
Free construction of time from events	1989-01-01	Paper
Counting interval orders	1987-01-01	Paper
The extensions of the modal logic K5	1985-01-01	Paper
On constructing instants from events	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343965	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3671938	1982-01-01	Paper
Independent propositional modal logics	1980-01-01	Paper
Possible worlds and many truth values	1978-01-01	Paper
Modal operators and functional completeness, II	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4187795	1977-01-01	Paper
Reduction of tense logic to modal logic II	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4088789	1975-01-01	Paper
Categories of frames for modal logic	1975-01-01	Paper
Reduction of second‐order logic to modal logic	1975-01-01	Paper
The logical consequence relation of propositional tense logic	1975-01-01	Paper
An incompleteness theorem in modal logic	1974-01-01	Paper
Reduction of tense logic to modal logic. I	1974-01-01	Paper
A new representation of S5	1973-01-01	Paper
Noncompactness in propositional modal logic	1973-01-01	Paper
Semantic analysis of tense logics	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5631080	1972-01-01	Paper
Sublattices of the Recursively Enumerable Degrees	1971-01-01	Paper
A Proof of Whitman's Representation Theorem for Finite Lattices	1970-01-01	Paper
Sublattices and Initial Segments of the Degrees of Unsolvability	1970-01-01	Paper
On initial segments of hyperdegrees	1970-01-01	Paper
A theorem on initial segments of degrees	1970-01-01	Paper
A Note on Non-Distributive Sublattices of Degrees and Hyperdegrees	1969-01-01	Paper
The Forcing Method and the Upper Semilattice of Hyperdegrees	1967-01-01	Paper

Research outcomes over time

This page was built for person: S. K. Thomason