scientific article; zbMATH DE number 1095142

Publication date: 7 December 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

sentential logic conditionals probability logic

Probability and inductive logic (03B48) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Axioms; other general questions in probability (60A05) Other applications of logic (03B80)

Related Items (43)

Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs ⋮ Probabilistic modelling, inference and learning using logical theories ⋮ Approximate algorithms for credal networks with binary variables ⋮ Soundness and completeness results for LEA and probability semantics ⋮ Graphical models for imprecise probabilities ⋮ Statistics between inductive logic and empirical science ⋮ Borel probabilistic and quantitative logic ⋮ A propositional probabilistic logic with discrete linear time for reasoning about evidence ⋮ Probabilistic logics with independence and confirmation ⋮ Logical perspectives on the foundations of probability ⋮ The objective and the subjective in mid-nineteenth-century British probability theory ⋮ Generalizing probabilistic material implication and Bayesian conditionals ⋮ On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals ⋮ Generalised states: a multi-sorted algebraic approach to probability ⋮ Verities, the sorites, and Theseus' ship ⋮ Deductive reasoning under uncertainty: a water tank analogy ⋮ Unnamed Item ⋮ Probabilities on sentences in an expressive logic ⋮ Probability updating using second order probabilities and conditional event algebra ⋮ Weak nonmonotonic probabilistic logics ⋮ Entailment with near surety of scaled assertions of high conditional probability ⋮ Reasoning with conditionals ⋮ The complexity of satisfying constraints on databases of transactions ⋮ Aggregating disparate estimates of chance ⋮ Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm ⋮ Itemset frequency satisfiability: complexity and axiomatization ⋮ Algebras of intervals and a logic of conditional assertions ⋮ Extension of the concept of propositional deduction from classical logic to probability: An overview of probability-selection approaches ⋮ Automatic derivation of probabilistic inference rules ⋮ A semantic study of the first-order predicate logic with uncertainty involved ⋮ Probabilistic sentence satisfiability: an approach to PSAT ⋮ Jesuit Probabilistic Logic between Scholastic and Academic Philosophy ⋮ Reasoning about uncertain conditionals ⋮ Modus ponens and modus tollens for conditional probabilities, and updating on uncertain evidence ⋮ Unnamed Item ⋮ Credal networks ⋮ Some mathematical structures for computational information ⋮ Deduction with uncertain conditionals ⋮ Probabilistic satisfiability with imprecise probabilities ⋮ Logics with Probability Operators ⋮ Some New Probability Operators ⋮ Applications of Logics About Simple Probabilities ⋮ Kuznetsov independence for interval-valued expectations and sets of probability distributions: properties and algorithms

This page was built for publication: