Switch to: Citations

Add references

You must login to add references.
  1. An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
    Download  
     
    Export citation  
     
    Bookmark   170 citations  
  • (1 other version)Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
    Download  
     
    Export citation  
     
    Bookmark   154 citations  
  • Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  • Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Robert M. Solovay. Provability interpretations of modal logic. Israel journal of mathematics, vol. 25 , pp. 287–304.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • An Essay in Classical Modal Logic.Karl Krister Segerberg - 1971 - Dissertation, Stanford University
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Andrzej Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta mathematicae, vol. 60 (1967), pp. 223–231. [REVIEW]Andrzej Grzegorczyk - 1970 - Journal of Symbolic Logic 34 (4):652-653.
    Download  
     
    Export citation  
     
    Bookmark   16 citations