Switch to: Citations

References in:

Logics With Several Modal Operators

Theoria 35 (3):259-266 (1969)

Add references

You must login to add references.
  1. On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
    Gives the first published adaptation of the Lindenbaum/Henkin method of maximal consistent sets for establishing the completeness of modal propositional logics with respect to the relational models of Kripke.
    Direct download  
     
    Export citation  
     
    Bookmark   39 citations  
  • Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
  • Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi.Saul A. Kripke - 1966 - Journal of Symbolic Logic 31 (1):120-122.
    Direct download  
     
    Export citation  
     
    Bookmark   59 citations  
  • A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
  • Saul A. Kripke. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 67–96. [REVIEW]David Kaplan - 1966 - Journal of Symbolic Logic 31 (1):120-122.
  • Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.
  • Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   50 citations