Switch to: Citations

Add references

You must login to add references.
  1. Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)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.
    Download  
     
    Export citation  
     
    Bookmark   269 citations  
  • (2 other versions)On Intermediate Propositional Logics.Toshio Umezawa - 1968 - Journal of Symbolic Logic 33 (4):607-607.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • Modal Logics Between S4 and S5.M. A. E. Dummett, E. J. Lemmon, Iwao Nishimura & D. C. Makinson - 1959 - Journal of Symbolic Logic 32 (3):396-397.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • (1 other version)Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi.Saul A. Kripke - 1965 - In J. W. Addison (ed.), The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 206-20.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • (1 other version)The independence of connectives.Timothy Smiley - 1962 - Journal of Symbolic Logic 27 (4):426-436.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • (2 other versions)On intermediate propositional logics.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (1):20-36.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi.Saul A. Kripke - 1966 - Journal of Symbolic Logic 31 (1):120-122.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • (1 other version)Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.
    Download  
     
    Export citation  
     
    Bookmark   113 citations  
  • (1 other version)Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Über die Zwischensysteme der Aussagenlogik.Toshio Umezawa - 1956 - Journal of Symbolic Logic 21 (3):324-325.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Proof of the independence of the primitive symbols of Heyting's calculus of propositions.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (4):155-158.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • An algebraic study of diodorean modal systems.R. A. Bull - 1965 - Journal of Symbolic Logic 30 (1):58-64.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-6f97f49787-4dlf6 uwo