Probability Logics

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