Switch to: Citations

Add references

You must login to add references.
  1. Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
    Download  
     
    Export citation  
     
    Bookmark   723 citations  
  • Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
    Download  
     
    Export citation  
     
    Bookmark   706 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  
  • (1 other version)Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
    Download  
     
    Export citation  
     
    Bookmark   397 citations  
  • Knowledge and Belief: An Introduction to the Logic of the Two Notions.Alan R. White - 1965 - Philosophical Quarterly 15 (60):268.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
    In the present paper we study systematically several consequence relations on the usual language of propositional intuitionistic logic that can be defined semantically by using Kripke frames and the same defining truth conditions for the connectives as in intuitionistic logic but without imposing some of the conditions on the Kripke frames that are required in the intuitionistic case. The logics so obtained are called subintuitionistic logics in the literature. We depart from the perspective of considering a logic just as a (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Weak Logics with Strict Implication.Giovanna Corsi - 1987 - Mathematical Logic Quarterly 33 (5):389-406.
    Download  
     
    Export citation  
     
    Bookmark   23 citations