Halpern, J. 1995. Reasoning About Knowledge: A Survery. In D. Gabbay and J. Hogger, C. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logiuc Programming, Vol. IV, 1--34. Clarendon Press, Oxford. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Quantifiers and Operations on Modalities and Contexts - Costello, Patterson (1997) (Correct)
....propositional atoms 1 , and the truth conditions for 2OE at a world w, are defined as the truth of OE in all accessible worlds. A natural extension to this idea is to allow more than one modality. One popular use of this is to have modalities of the beliefs of each member of a set of believers, (Halpern 1995) provides a recent overview of this approach. It is then customary to label each modal operator with a subscript to distinguish them. If 2 Sally denotes the beliefs of Sally, and 2Harry , the beliefs of Harry, then if Sally believes that Harry believes that Sally Liked Harry, we would write, 2 ....
Halpern, J. 1995. Reasoning About Knowledge: A Survery. In D. Gabbay and J. Hogger, C. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logiuc Programming, Vol. IV, 1--34. Clarendon Press, Oxford.
Quantifiers and Operations on Modalities and Contexts - Costello, Patterson (Correct)
....truth condition for 2OE at a world w, is defined as the truth of OE in all worlds accessible from w. A natural extension of this idea is to allow more than one modality. One popular use of multi modal systems is to have modalities which represent the beliefs of each member of a set of believers. (Halpern 1995) provides a recent overview of this approach. It is then customary to label each modal operator with a distinguishing subscript. If 2Sally denotes the beliefs of Sally, and 2Harry , the beliefs of Harry, then if Sally believes that Harry believes that Sally likes Harry, we would write, 2Sally ....
Halpern, J. 1995. Reasoning About Knowledge: A Survery. In D. Gabbay and J. Hogger, C. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. IV, 1--34. Clarendon Press, Oxford.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC