Probability logics : probability-based formalization of uncertain reasoning / Zoran Ognjanović, Miodrag Rašković, Zoran Marković.

Unlimited

Authorized users

Can lend chapters, not whole ebooks

Probability logics : probability-based formalization of uncertain reasoning / Zoran Ognjanović, Miodrag Rašković, Zoran Marković.

9783319470122 (electronic book)
3319470124 (electronic book)
9783319470115

Cham, Switzerland : Springer, [2016]

English

1 online resource (xi, 215 pages) : illustrations.

10.1007/978-3-319-47012-2 doi

QA273 .O36 2016eb

511.3/18

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 point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic.

Includes bibliographical references and index.

Access limited to authorized users.

text file PDF

Description based on online resource; title from digital title page (viewed on November 11, 2016).

Print version: 9783319470115

Online Resources > Ebooks
All Resources