Switch to: Citations

Add references

You must login to add references.
  1. An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • (1 other version)A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
    Download  
     
    Export citation  
     
    Bookmark   278 citations  
  • The Logics Containing S 4.3.Kit Fine - 1971 - Mathematical Logic Quarterly 17 (1):371-376.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • An incompleteness theorem in modal logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • An Introduction to Modal Logic.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Canonical modal logics and ultrafilter extensions.J. F. A. K. van Benthem - 1979 - Journal of Symbolic Logic 44 (1):1-8.
    In this paper thecanonicalmodal logics, a kind of complete modal logics introduced in K. Fine [4] and R. I. Goldblatt [5], will be characterized semantically using the concept of anultrafilter extension, an operation on frames inspired by the algebraic theory of modal logic. Theorem 8 of R. I. Goldblatt and S. K. Thomason [6] characterizing the modally definable Σ⊿-elementary classes of frames will follow as a corollary. A second corollary is Theorem 2 of [4] which states that any complete modal (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)A normal modal calculus between T and s4 without the finite model property.David Makinson - 1969 - Journal of Symbolic Logic 34 (1):35-38.
    The first example of an intuitively meaningful propositional logic without the finite model property, and still the simplest one in the literature. The question of its decidability appears still to be open.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (2 other versions)Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
    Download  
     
    Export citation  
     
    Bookmark   240 citations  
  • Reduction of second‐order logic to modal logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):107-114.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Some results in modal model theory.Michael Mortimer - 1974 - Journal of Symbolic Logic 39 (3):496-508.
    Download  
     
    Export citation  
     
    Bookmark   3 citations