Steven K. Thomason (thomason-sk)

Contributions à Philosophie.ch

Bibliography

Goldblatt, Robert L. and Thomason, Steven K. 1975. “Axiomatic Classes in Propositional Modal Logic.” in Algebra and Logic, edited by John Newsome Crossley, pp. 163–173. Lecture Notes in Mathematics n. 450. Berlin: Springer.
Thomason, Steven K. 1972a. “Semantic Analysis of Tense Logics.” The Journal of Symbolic Logic 37(1): 150–158.
Thomason, Steven K. 1972b. “Noncompactness in Propositional Modal Logics.” The Journal of Symbolic Logic 37: 716–720.
Thomason, Steven K. 1974a. “An Incompleteness Theorem in Modal Logic.” Theoria 40: 30–34.
Thomason, Steven K. 1974b. “Reduction of Tense Logic to Modal Logic.” The Journal of Symbolic Logic 39: 519–548.
Thomason, Steven K. 1975. “Categories of Frames for Modal Logics.” The Journal of Symbolic Logic 40: 439–442.
Thomason, Steven K. 1977. “Modal Operators and Functional Completeness.” The Journal of Symbolic Logic 42: 391–399.
Thomason, Steven K. 1979. “Independent Propositional Modal Logics.” Studia Logica 34: 143–144.
Thomason, Steven K. 1983. “Finite Matrices for Quasi-Classical Modal Logics.” Logique et Analyse 26(103–104): 341–344.
Thomason, Steven K. 1984. “On Constructing Instants from Events.” The Journal of Philosophical Logic 13(1): 85–96.
Thomason, Steven K. 1989. “Free Construction of Time from Events.” The Journal of Philosophical Logic 18(1): 43–67.
Thomason, Steven K. 1993. “Semantic Analysis of the Modal Syllogistic.” The Journal of Philosophical Logic 22(2): 111–128.
Thomason, Steven K. 1997. “Relational Models for the Modal Syllogistic.” The Journal of Philosophical Logic 26(2): 129–141.