36 found
Order:
  1. Semantic Analysis of Tense Logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
  2.  79
    An Incompleteness Theorem in Modal Logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.
  3.  41
    Reduction of Second‐Order Logic to Modal Logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):107-114.
  4.  58
    On Constructing Instants From Events.S. K. Thomason - 1984 - Journal of Philosophical Logic 13 (1):85 - 96.
  5.  62
    Semantic Analysis of the Modal Syllogistic.S. K. Thomason - 1993 - Journal of Philosophical Logic 22 (2):111 - 128.
  6.  36
    Reduction of Tense Logic to Modal Logic II.S. K. Thomason - 1975 - Theoria 41 (3):154-169.
  7.  44
    Free Construction of Time From Events.S. K. Thomason - 1989 - Journal of Philosophical Logic 18 (1):43 - 67.
    Some may be of the opinion that one event can begin before another only by virtue of the existence of some event (a “witness”) which wholly precedes the other and does not wholly precede the one (and similarly for “ends before” and “does not abut”). Those would prefer $\mathbb{F}$ 0 to $\mathbb{F}$ as a model for observers' apprehensions of events. Since G is a functor from $\mathbb{M}$ to $\mathbb{F}$ 0, the current construction (restricted to $\mathbb{F}$ 0) remains applicable.This work supports (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  8.  39
    Reduction of Tense Logic to Modal Logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.
  9.  36
    Sublattices of the Recursively Enumerable Degrees.S. K. Thomason - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):273-280.
  10.  12
    [Omnibus Review].S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
  11.  46
    Relational Models for the Modal Syllogistic.S. K. Thomason - 1997 - Journal of Philosophical Logic 26 (2):129-141.
    An interpretation of Aristotle's modal syllogistic is proposed which is intuitively graspable, if only formally correst. The individuals to which a term applies, and possibly-applies, are supposed to be determined in a uniform way by the set of individuals to which the term necessarily-applies.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  12.  31
    The Extensions of the Modal Logic K.Michael C. Nagle & S. K. Thomason - 1985 - Journal of Symbolic Logic 50 (1):102-109.
  13.  43
    Possible Worlds and Many Truth Values.S. K. Thomason - 1978 - Studia Logica 37 (2):195 - 204.
  14.  17
    Sublattices of the Recursively Enumerable Degrees.S. K. Thomason - 1971 - Mathematical Logic Quarterly 17 (1):273-280.
  15.  19
    Categories of Frames for Modal Logic.S. K. Thomason - 1975 - Journal of Symbolic Logic 40 (3):439-442.
  16.  58
    Independent Propositional Modal Logics.S. K. Thomason - 1980 - Studia Logica 39 (2-3):143 - 144.
    We show that the join of two classical [respectively, regular, normal] modal logics employing distinct modal operators is a conservative extension of each of them.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17.  27
    Noncompactness in Propositional Modal Logic.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (4):716-720.
  18.  16
    Review: J. R. Shoenfield, Ernest Nagel, Patrick Suppes, Alfred Tarski, Some Applications of Degrees. [REVIEW]S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (3):610-610.
  19.  15
    The Logical Consequence Relation of Propositional Tense Logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):29-40.
  20.  53
    Reduction of Tense Logic to Modal Logic II.S. K. Thomason - 1974 - Theoria 40 (3):154-169.
  21.  22
    J. R. Shoenheld. Some Applications of Degrees. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 56–59. [REVIEW]S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (3):610.
  22.  9
    Review: David Makinson, Some Embedding Theorems for Modal Logic. [REVIEW]S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351-351.
  23.  17
    David Makinson. Some Embedding Theorems for Modal Logic. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 252–254.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351.
  24.  38
    Peter Aczel. Quantifiers, Games and Inductive Definitions. Proceedings of the Third Scandinavian Logic Symposium, Edited by Stig Kanger, Studies in Logic and the Foundations of Mathematics, Vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Pp. 1–14. - Kit Fine. Some Connections Between Elementary and Modal Logic. Proceedings of the Third Scandinavian Logic Symposium, Edited by Stig Kanger, Studies in Logic and the Foundations of Mathematics, Vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the Finite Frame Property in Boolean Semantics. Proceedings of the Third Scandinavian Logic Symposium, Edited by Stig Kanger, Studies in Logic and the Foundations of Mathematics, Vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Compa. [REVIEW]S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  27
    David Makinson. A Generalisation of the Concept of a Relational Model for Modal Logic. Theoria , Vol. 36 , Pp. 331–335.S. K. Thomason - 1973 - Journal of Symbolic Logic 38 (3):520.
  26. DA Gillies, Frege, Dedekind and Peano on the Foundations of Arithmetic Reviewed By.S. K. Thomason - 1984 - Philosophy in Review 4 (3):111-113.
  27. Euclidean Infinitesimals.S. K. Thomason - 1982 - Pacific Philosophical Quarterly 63 (2):168.
     
    Export citation  
     
    Bookmark  
  28. Finite matrices for quasi-classical modal logics.S. K. Thomason - 1983 - Logique Et Analyse 26 (3):341.
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  22
    Review: C. E. M. Yates, John N. Crossley, Recursively Enumerable Degrees and the Degrees Less Than $0^{(1)}$. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (4):589-589.
  30.  15
    Titgemeyer Dieter. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 , pp. 45–62. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):155-156.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  28
    A Theorem on Initial Segments of Degrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):41-45.
  32.  12
    C. E. M. Yates. Recursively Enumerable Degrees and the Degrees Less Than 0. Sets, Models and Recursion Theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by John N. Crossley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 264–271. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (4):589-589.
  33.  18
    Modal Operators and Functional Completeness, II.S. K. Thomason - 1977 - Journal of Symbolic Logic 42 (3):391-399.
  34.  15
    Spring Meeting of the Association for Symbolic Logic: Toronto, 1993.S. K. Thomason - 1994 - Journal of Symbolic Logic 59 (1):346-349.
  35.  6
    Noncompactness in Propositional Modal Logic.S. K. Thomason, Kit Fine, Martin Gerson & Martin Sebastian Gerson - 1983 - Journal of Symbolic Logic 48 (2):488-495.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  15
    On Initial Segments of Hyperdegrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (2):189-197.