27 found
Order:
  1. Semantic analysis of tense logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
    Although we believe the results reported below to have direct philosophical import, we shall for the most part confine our remarks to the realm of mathematics. The reader is referred to [4] for a philosophically oriented discussion, comprehensible to mathematicians, of tense logic.The “minimal” tense logicT0is the system having connectives ∼, →,F(“at some future time”), andP(“at some past time”); the following axioms:(whereGandHabbreviate ∼F∼ and ∼P∼ respectively); and the following rules:(8) fromαandα → β, inferβ,(9) fromα, infer any substitution instance ofα,(10) fromα, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  2. An incompleteness theorem in modal logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.
  3.  80
    Reduction of second‐order logic to modal logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):107-114.
  4.  88
    On constructing instants from events.S. K. Thomason - 1984 - Journal of Philosophical Logic 13 (1):85 - 96.
  5.  71
    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   16 citations  
  6. Semantic analysis of the modal syllogistic.S. K. Thomason - 1993 - Journal of Philosophical Logic 22 (2):111 - 128.
  7.  67
    Categories of frames for modal logic.S. K. Thomason - 1975 - Journal of Symbolic Logic 40 (3):439-442.
  8.  53
    The extensions of the modal logic K.Michael C. Nagle & S. K. Thomason - 1985 - Journal of Symbolic Logic 50 (1):102-109.
  9.  34
    [Omnibus Review].S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
  10.  77
    (2 other versions)Reduction of tense logic to modal logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.
  11.  88
    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   12 citations  
  12.  91
    Sublattices of the Recursively Enumerable Degrees.S. K. Thomason - 1971 - Mathematical Logic Quarterly 17 (1):273-280.
  13.  84
    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   10 citations  
  14.  68
    (1 other version)Noncompactness in propositional modal logic.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (4):716-720.
  15.  32
    The logical consequence relation of propositional tense logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):29-40.
  16.  63
    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.
  17.  23
    Euclidean Infinitesimals.S. K. Thomason - 1982 - Pacific Philosophical Quarterly 63 (2):168-185.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  72
    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.
  19.  65
    A theorem on initial segments of degrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):41-45.
    A set S of degrees is said to be an initial segment if c ≤ d ∈ S→-c∈S. Shoenfield has shown that if P is the lattice of all subsets of a finite set then there is an initial segment of degrees isomorphic to P. Rosenstein [2] (independently) proved the same to hold of the lattice of all finite subsets of a countable set. We shall show that “countable set” may be replaced by “set of cardinality at most that of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  20. Finite matrices for quasi-classical modal logics.S. K. Thomason - 1983 - Logique Et Analyse 26 (3):341.
     
    Export citation  
     
    Bookmark  
  21.  52
    Modal operators and functional completeness, II.S. K. Thomason - 1977 - Journal of Symbolic Logic 42 (3):391-399.
  22.  49
    On initial segments of hyperdegrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (2):189-197.
  23.  59
    Spring meeting of the association for symbolic logic: Toronto, 1993.S. K. Thomason - 1994 - Journal of Symbolic Logic 59 (1):346-349.
  24.  75
    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.
  25.  79
    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  
  26.  48
    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)  
     
    Export citation  
     
    Bookmark  
  27.  36
    (1 other version)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.