Switch to: Citations

Add references

You must login to add references.
  1. (4 other versions)Is Justified True Belief Knowledge?Edmund L. Gettier - 1963 - Analysis 23 (6):121-123.
    Edmund Gettier is Professor Emeritus at the University of Massachusetts, Amherst. This short piece, published in 1963, seemed to many decisively to refute an otherwise attractive analysis of knowledge. It stimulated a renewed effort, still ongoing, to clarify exactly what knowledge comprises.
    Download  
     
    Export citation  
     
    Bookmark   1229 citations  
  • (1 other version)Modality and Quantification.Jaakko Hintikka - 1961 - Theoria 27 (3):119-128.
    Download  
     
    Export citation  
     
    Bookmark   57 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  
  • (1 other version)Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
    Download  
     
    Export citation  
     
    Bookmark   307 citations  
  • Impossible possible worlds vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • All I know: A study in autoepistemic logic.Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):263-309.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.
    Download  
     
    Export citation  
     
    Bookmark   181 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)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.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Foundations of a functional approach to knowledge representation.Hector J. Levesque - 1984 - Artificial Intelligence 23 (2):155-212.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • On the characterization of modalities.Stig Kanger - 1957 - Theoria 23 (3):152-155.
    Download  
     
    Export citation  
     
    Bookmark   7 citations