A model-theoretic analysis of knowledge
Ronald Fagin, Joseph Yehuda Halpern, Moshe Y. Vardi · Journal of the ACM · 1991
Chuungtse and Hueltse bud strolled on to the bridge over the Har), \vhen [he fornler observed.'" See how the small fish are darting about ~That u the happiness of the fish, " -' You are not a Jlsh yourself." ~a~d Hueltse."How can you know the huppmem of the fzshq" '' And .VOU not being 1." retoried Chaurrgtse, "how can you know that I do not kno}v '" -Chumgt\e, c 300 BC Abstract Undcrstmdmg knowledge IS a fundamental Issue m man} disc] pl]nes In computer sclcnce, Lrmwledge ar]ses not only m the obvlou~contexts (such JS Lnowledgc-based jystems), but also in distributed systems (where the goal IS to halve each processor c' know'