×

zbMATH — the first resource for mathematics

A first-order logic for reasoning about knowledge and probability. (English) Zbl 1446.03038
MSC:
03B42 Logics of knowledge and belief (including belief change)
03B48 Probability and inductive logic
68T27 Logic in artificial intelligence
68T42 Agent technology and artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI