Probability Logics: Probability-Based Formalization of Uncertain Reasoning - Image 1

£91.63

Springer Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Name: Probability Logics: Probability-Based Formalization of Uncertain Reasoning
Brand: Springer
Price: 91.52 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 42 days • 42 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 1 price levels

Days at Price

Price Analysis

Most common price: £92 (42 days, 100.0%)

Price range: £92 - £92

Price levels: 1 different prices over 42 days

Description

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3319470116
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 01 November 2016
Listed Since: 24 August 2016

Barcode

No barcode data available

Springer Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

THEORIES OF PROBABILITY: AN EXAMINATION OF LOGICAL AND QUALITATIVE FOUNDATIONS: 2 (Advanced Series on Mathematical Psychology)

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Springer Lattice-Valued Logic - Studies in Fuzziness 132

Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)

Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)

Logic for Applications (Texts in Computer Science)

Propositional and Predicate Calculus: A Model of Argument

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty: 300 (Studies in Computational Intelligence, 300)

A General Theory of Evidence and Proof: Forming Beliefs in Truth: 148 (Law and Philosophy Library, 148)

Springer - Logic and Lexicon: The Semantics of the Indefinite 56

Information Retrieval: Uncertainty and Logics: Advanced Models for the Representation and Retrieval of Information: 4 (The Information Retrieval Series, 4)

Springer Mathematical Problems from Applied Logic I - Vol 4

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Logic with a Probability Semantics: Including Solutions to Some Philosophical Problems

Uncertain Inference

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Mathematical Logic: An Introduction (De Gruyter Textbook)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning: 5