Switch to: Citations

Add references

You must login to add references.
  1. Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge: MIT Press.
    Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...
    Download  
     
    Export citation  
     
    Bookmark   360 citations  
  • Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
    Download  
     
    Export citation  
     
    Bookmark   157 citations  
  • Inequality without irreflexivity.Philippe Balbiani - 1999 - Journal of Applied Non-Classical Logics 9 (4):523-534.
    ABSTRACT This paper presents the axioinatization—without the rule of irreflexivity—of the modal logic of inequality as well as a method for proving its completeness. This method uses the technics of the frame of subordination.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.
    Download  
     
    Export citation  
     
    Bookmark   20 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-5d8df9484f-rkp68 uwo