Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Quantifying in.David Kaplan - 1968 - Synthese 19 (1-2):178-214.
    Download  
     
    Export citation  
     
    Bookmark   384 citations  
  • Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
    Download  
     
    Export citation  
     
    Bookmark   260 citations  
  • Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
    Download  
     
    Export citation  
     
    Bookmark   176 citations  
  • A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.
    Download  
     
    Export citation  
     
    Bookmark   136 citations  
  • Foundations of a functional approach to knowledge representation.Hector J. Levesque - 1984 - Artificial Intelligence 23 (2):155-212.
    Download  
     
    Export citation  
     
    Bookmark   70 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  
  • On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning.Alan M. Frisch - 1991 - Artificial Intelligence 49 (1-3):161-198.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Limited reasoning in first-order knowledge bases.Gerhard Lakemeyer - 1994 - Artificial Intelligence 71 (2):213-255.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Levesque's axiomatization of only knowing is incomplete.Joseph Y. Halpern & Gerhard Lakemeyer - 1995 - Artificial Intelligence 74 (2):381-387.
    Download  
     
    Export citation  
     
    Bookmark   4 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-545f4ff9b4-ldlgf uwo