an:06507043
Zbl 06507043
Tomovi??, Sini??a; Ognjanovi??, Zoran; Doder, Dragan
Probabilistic common knowledge among infinite number of agents
EN
Destercke, S??bastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compi??gne, France, July 15--17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20806-0/pbk; 978-3-319-20807-7/ebook). Lecture Notes in Computer Science 9161. Lecture Notes in Artificial Intelligence, 496-505 (2015).
2015
a
68T37
probabilistic epistemic logic; strong completeness; probabilistic common knowledge; infinite number of agents
Summary: We introduce an epistemic logic with probabilistic common knowledge and infinitely many agents, and provide its strong completeness for the class of measurable structures.
For the entire collection see [Zbl 1316.68008].