Corrigendum Reasoning about knowledge and probability?. - Fagin, Ronald
Keywords: Computing methodologies; Artificial intelligence; Theory of computation; Computation by abstract devices; Mathematical logic and formal languages; Mathematical logic; Model theory; Mathematics of computing; Deduction and theorem proving; Uncertainty, "fuzzy," and probabilistic reasoning; Languages; Theory; Verification