We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it corresponds exactly to normal applications of a non-monotonic rule of inference due to Mccarthy.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [D]
    F. Dretske, Knowledge and the Flow of Information MIT press 1981.Google Scholar
  2. [FHV]
    R. Fagin, J. Halpern and M. Vardi, "A Model Theoretic Analysis of Knowledge", IEEE-FOCS 1984.Google Scholar
  3. [H]
    J. Hintikka, Knowledge and Belief, Cornell U. Press 1962.Google Scholar
  4. [HM]
    J. Halpern and Y. Moses, "Knowledge and Common Knowledge in a Distributed Environment", to appear in ACM-PODC 1984.Google Scholar
  5. [KP]
    D. Kozen and R. Parikh, "An Elementary Proof of the Completeness of PDL", Theor. Comp. Sci 14 (1981) 113–118.Google Scholar
  6. [L]
    D. Lehmann, "Knowledge, Common Knowledge and Related Puzzles", to appear in ACM-PODC 1984.Google Scholar
  7. [M2]
    R.C. Moore, "Semantical Considerations on Non-monotonic Logic", Proc. 8th IJCAI (1983) 272–279.Google Scholar
  8. [MD]
    J. McDermott and J. Doyle, "NonMonotonic Logic" Artificial Intelligence 13, (1980) 41–72.Google Scholar
  9. [MH]
    J. McCarthy, and P. Hayes "Some Philosophical Problems from the standpoint of Artificial Intelligence", in Machine Intelligence, ed. D. Michie, American Elsevier 1969, 463–502.Google Scholar
  10. [MSM]
    A. Meyer, R. Streett and G. Mirkowska, "The Decucibility Problem in Propositional Dynamic Logic", Proc 8th ICALP Springer LNCS 115 (1981) pp 238–248.Google Scholar
  11. [P1]
    R. Parikh, "A Completeness Result for Propostional Dynamic Logic", MFCS '78 Springer Lecture Notes in Computer Science vol 64, 403–415Google Scholar
  12. [P2]
    R. Parikh, "Second Order Process Logic", IEEE-FOCS 1978 Google Scholar
  13. [P3]
    R. Parikh, "Propositional Game Logic", IEEE-FOCS 1983 195–200.Google Scholar
  14. [Pr]
    V. Pratt, "Models of Program Logics", 20th IEEE-FOCS (1979) 115–122.Google Scholar
  15. [R]
    R. Reiter, "On Closed World Data Bases" in Logic and Data Bases (Ed. Gallaire and Minker) Plenum Press (1978) pp 55–76.Google Scholar
  16. [St]
    R. Stark, "Logics of Knowledge", Zeit. Math. Logic 27 (1981) 371–374.Google Scholar
  17. [XW]
    M. Xiwen and G. Welde, "A Modal Logic of Knowledge", IJCAI '83 398–401.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Rohit Parikh
    • 1
    • 2
  1. 1.Department of Computer ScienceBrooklyn College of CUNYBrooklyn
  2. 2.Mathematics ProgramCUNY Graduate CenterNew York

Personalised recommendations