Journal of the ACM Bibliography

Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. A model-theoretic analysis of knowledge. Journal of the ACM, 38(2):382-428, April 1991. [BibTeX entry]
Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic -- model theory; I.2.4 [Artificial Intelligence]: Knowledge Representation Formalisms and Methods -- representation languages

General Terms: Theory

Additional Key Words and Phrases: Common knowledge, distributed systems, epistemology, knowledge, knowledge structures, Kripke structure, modal logic, possible worlds, reasoning about knowledge

Selected papers that cite this one

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database