Probability Logics: Probability-Based Formalization of Uncertain Reasoning

by Miodrag Ra Kovi, Zoran Ognjanovi, Zoran Markovi, et al.

The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the literature. An extensive bibliography is provided to...

• Format: Hardcover
• Language: English
• ISBN: 3319470116
• ISBN13: 9783319470115
• Release Date: November 2016
• Publisher: Springer
• Length: 215 Pages
• Weight: 1.11 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"