36 found
Order:
  1.  70
    An Incompleteness Theorem in Modal Logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.
  2. Semantic Analysis of Tense Logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
  3.  59
    Semantic Analysis of the Modal Syllogistic.S. K. Thomason - 1993 - Journal of Philosophical Logic 22 (2):111 - 128.
  4.  43
    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 (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  34
    Reduction of Second‐Order Logic to Modal Logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):107-114.
  6.  49
    On Constructing Instants From Events.S. K. Thomason - 1984 - Journal of Philosophical Logic 13 (1):85 - 96.
  7.  40
    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   10 citations  
  8.  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  
  9.  31
    Reduction of Tense Logic to Modal Logic II.S. K. Thomason - 1975 - Theoria 41 (3):154-169.
  10.  33
    Sublattices of the Recursively Enumerable Degrees.S. K. Thomason - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):273-280.
  11.  29
    The Extensions of the Modal Logic K.Michael C. Nagle & S. K. Thomason - 1985 - Journal of Symbolic Logic 50 (1):102-109.
  12.  9
    [Omnibus Review].S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
  13.  35
    Reduction of Tense Logic to Modal Logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.
  14.  26
    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.
  15.  16
    Sublattices of the Recursively Enumerable Degrees.S. K. Thomason - 1971 - Mathematical Logic Quarterly 17 (1):273-280.
  16.  19
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  17
    Categories of Frames for Modal Logic.S. K. Thomason - 1975 - Journal of Symbolic Logic 40 (3):439-442.
  18.  41
    Possible Worlds and Many Truth Values.S. K. Thomason - 1978 - Studia Logica 37 (2):195 - 204.
  19.  16
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  15
    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.
  21.  27
    Noncompactness in Propositional Modal Logic.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (4):716-720.
  22.  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   3 citations  
  23.  52
    Reduction of Tense Logic to Modal Logic II.S. K. Thomason - 1974 - Theoria 40 (3):154-169.
  24.  15
    The Logical Consequence Relation of Propositional Tense Logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):29-40.
  25.  9
    Review: David Makinson, Some Embedding Theorems for Modal Logic. [REVIEW]S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351-351.
  26.  15
    On Initial Segments of Hyperdegrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (2):189-197.
  27.  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  
  28.  19
    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.
  29.  28
    A Theorem on Initial Segments of Degrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):41-45.
  30.  10
    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.
  31.  18
    Modal Operators and Functional Completeness, II.S. K. Thomason - 1977 - Journal of Symbolic Logic 42 (3):391-399.
  32.  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  
  33.  15
    Spring Meeting of the Association for Symbolic Logic: Toronto, 1993.S. K. Thomason - 1994 - Journal of Symbolic Logic 59 (1):346-349.
  34. DA Gillies, Frege, Dedekind and Peano on the Foundations of Arithmetic Reviewed By.S. K. Thomason - 1984 - Philosophy in Review 4 (3):111-113.
  35. Euclidean Infinitesimals.S. K. Thomason - 1982 - Pacific Philosophical Quarterly 63 (2):168.
     
    Export citation  
     
    Bookmark  
  36. Finite matrices for quasi-classical modal logics.S. K. Thomason - 1983 - Logique Et Analyse 26 (3):341.
    Translate
     
     
    Export citation  
     
    Bookmark