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
Reduction of second‐order logic to modal logic	1975-01-01	Paper
Categories of frames for modal logic	1975-01-01	Paper
The logical consequence relation of propositional tense logic	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4088789	1975-01-01	Paper
Reduction of tense logic to modal logic. I	1974-01-01	Paper
An incompleteness theorem in modal logic	1974-01-01	Paper
A new representation of S5	1973-01-01	Paper
Noncompactness in propositional modal logic	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5631080	1972-01-01	Paper
Semantic analysis of tense logics	1972-01-01	Paper
Sublattices of the Recursively Enumerable Degrees	1971-01-01	Paper
A theorem on initial segments of degrees	1970-01-01	Paper
A Proof of Whitman's Representation Theorem for Finite Lattices	1970-01-01	Paper
On initial segments of hyperdegrees	1970-01-01	Paper
Sublattices and Initial Segments of the Degrees of Unsolvability	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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