×

zbMATH — the first resource for mathematics

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].

MSC:
03B48 Probability and inductive logic
03C35 Categoricity and completeness of theories
PDF BibTeX XML Cite
Full Text: DOI