Ognjanović, Zoran; Perović, Aleksandar; Doder, Dragan A first-order dynamic probability logic. (English) Zbl 1390.03022 van der Gaag, Linda C. (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 12th European conference, ECSQARU 2013, Utrecht, The Netherlands, July 8–10, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39090-6/pbk). Lecture Notes in Computer Science 7958. Lecture Notes in Artificial Intelligence, 461-472 (2013). Summary: We introduce a Hilbert-style first-order dynamic probability logic and prove the strong completeness theorem for the class of rigid measurable models.For the entire collection see [Zbl 1268.68034]. Cited in 1 Document MSC: 03B48 Probability and inductive logic 03C35 Categoricity and completeness of theories PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., Lect. Notes Comput. Sci. 7958, 461--472 (2013; Zbl 1390.03022) Full Text: DOI