scientific article; zbMATH DE number 1095142
From MaRDI portal
Publication:4368723
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Probability and inductive logic (03B48) Other applications of logic (03B80) Axioms; other general questions in probability (60A05)
Recommendations
Cited in
(66)- Modus ponens and modus tollens for conditional probabilities, and updating on uncertain evidence
- On the logic of high probability
- Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
- Credal networks
- Some mathematical structures for computational information
- Probabilistic satisfiability with imprecise probabilities
- Probabilistic logics with independence and confirmation
- Generalised states: a multi-sorted algebraic approach to probability
- Verities, the sorites, and Theseus' ship
- Deductive reasoning under uncertainty: a water tank analogy
- A semantic study of the first-order predicate logic with uncertainty involved
- Deduction with uncertain conditionals
- Logic and probabilistic systems
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- Probability updating using second order probabilities and conditional event algebra
- Entailment with near surety of scaled assertions of high conditional probability
- Soundness and completeness results for LEA and probability semantics
- Probabilistic sentence satisfiability: an approach to PSAT
- Kuznetsov independence for interval-valued expectations and sets of probability distributions: properties and algorithms
- Approximate algorithms for credal networks with binary variables
- Graphical models for imprecise probabilities
- Statistics between inductive logic and empirical science
- Probabilities on sentences in an expressive logic
- Weak nonmonotonic probabilistic logics
- Reasoning with conditionals
- The complexity of satisfying constraints on databases of transactions
- Aggregating disparate estimates of chance
- Itemset frequency satisfiability: complexity and axiomatization
- Logic with a probability semantics. Including solutions to some philosophical problems
- Suppes-style sequent calculus for probability logic
- A formal approach to the problem of logical non-omniscience
- O IS NOT ENOUGH
- Borel probabilistic and quantitative logic
- Comments on Peter Roeper's “The Link Between Probability Functions and Logical Consequence”
- scientific article; zbMATH DE number 1983176 (Why is no real title available?)
- Probabilistic Entailment and a Non-Probabilistic Logic
- scientific article; zbMATH DE number 1749201 (Why is no real title available?)
- Bayesian propositional logic
- Logics with Probability Operators
- Some New Probability Operators
- Applications of Logics About Simple Probabilities
- Jesuit probabilistic logic between scholastic and academic philosophy
- Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
- Inference in conditional probability logic
- Degradation in probability logic: when more information leads to less precise conclusions
- Extension of the concept of propositional deduction from classical logic to probability: An overview of probability-selection approaches
- Automatic derivation of probabilistic inference rules
- Logical perspectives on the foundations of probability
- Generalizing probabilistic material implication and Bayesian conditionals
- On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals
- Probability propagation rules for Aristotelian syllogisms
- Languages for probabilistic modeling over structured and relational domains
- A logical consequence informed by probability
- Conditional probabilities as degrees of similarity and as degrees of entailment
- A decidable class of inferences in first-order objective Bayesian inductive logic
- Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation
- Probabilistic semantics and calculi for multi-valued and paraconsistent logics
- Algebras of intervals and a logic of conditional assertions
- How to believe long conjunctions of beliefs: probability, quasi-dogmatism and contextualism
- Suppes' Theorem For Probability Logic
- A Sound and Complete Calculus for Probability Inequalities
- Reasoning about uncertain conditionals
- Probability propagation in generalized inference forms
- 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
- The objective and the subjective in mid-nineteenth-century British probability theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4368723)
