Fagin, Ronald; Halpern, Joseph Y. Reasoning about knowledge and probability. (English) Zbl 0806.68098 J. Assoc. Comput. Mach. 41, No. 2, 340-367 (1994). Cited in 3 ReviewsCited in 75 Documents MSC: 68T30 Knowledge representation 68Q60 Specification and verification (program logics, model checking, etc.) 03B45 Modal logic (including the logic of norms) Keywords:possible words; knowledge; probability PDF BibTeX XML Cite \textit{R. Fagin} and \textit{J. Y. Halpern}, J. Assoc. Comput. Mach. 41, No. 2, 340--367 (1994; Zbl 0806.68098) Full Text: DOI