Tomović, S.; Ognjanović, Z.; Doder, D. A first-order logic for reasoning about knowledge and probability. (English) Zbl 1446.03038 ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020). 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 Keywords:probabilistic epistemic logic; coordinated actions; infinite number of agents; probabilistic common knowledge; strong completeness PDF BibTeX XML Cite \textit{S. Tomović} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020; Zbl 1446.03038) Full Text: DOI