Probability logics
From MaRDI portal
Recommendations
Cited in
(71)- Probability and symmetric logic
- Extension of the concept of propositional deduction from classical logic to probability: An overview of probability-selection approaches
- A logic to reason about likelihood
- Probabilistic justification logic
- Probabilistic logics with independence and confirmation
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
- Probabilistic logic via capacities
- Probability logics. Probability-based formalization of uncertain reasoning
- The Link Between Probability Functions and Logical Consequence
- Probabilities on sentences in an expressive logic
- Towards a unified view on logics for uncertainty
- Probabilization of logics: completeness and decidability
- scientific article; zbMATH DE number 741002 (Why is no real title available?)
- Probabilistic logic
- Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
- Probabilistic canonical models for partial logics
- Towards classifying propositional probabilistic logics
- Franco Montagna's work on provability logic and many-valued logic
- Probabilistic extensions of various logical systems
- Logical perspectives on the foundations of probability
- Possible semantics for a common framework of probabilistic logics
- Computational aspects of probability logics
- Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
- An algebraic synthesis of the foundations of logic and probability
- On the logical consistency of probabilistic predictions
- Completeness theorems for \(\sigma \)-additive probabilistic semantics
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Conditional Probability Logic over Conditional Probability Spaces
- Applications of Logics About Simple Probabilities
- Probabilistic reasoning in a classical logic
- scientific article; zbMATH DE number 3321249 (Why is no real title available?)
- The complexity of satisfiability in non-iterated and iterated probabilistic logics
- Probability logic, logical probability, and inductive support
- scientific article; zbMATH DE number 7695591 (Why is no real title available?)
- scientific article; zbMATH DE number 2247692 (Why is no real title available?)
- Adelic uncertainty logic
- Logics with Probability Operators
- Hierarchies of probabilistic logics
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- Justification Logics with Probability Operators
- Intuitive Probability Logic
- Bipolar logic and probabilistic interpretation
- A state of art survey of probabilistically quantitative logic
- A probabilistic logic based on the acceptability of gambles
- \(p\)-adic probability logics
- scientific article; zbMATH DE number 816222 (Why is no real title available?)
- Inference rules for probability logic
- Ultralogics and probability models
- Conditional \(p\)-adic probability logic
- A logic for reasoning about qualitative probability
- Completeness theorem for a logic with imprecise and conditional probabilities
- scientific article; zbMATH DE number 1948164 (Why is no real title available?)
- scientific article; zbMATH DE number 1873278 (Why is no real title available?)
- scientific article; zbMATH DE number 4016864 (Why is no real title available?)
- Probability logic
- Probability Logic for Harsanyi Type Spaces
- scientific article; zbMATH DE number 940714 (Why is no real title available?)
- Probabilistic Logic and Induction
- A LOGIC FOR UNCERTAIN PROBABILITIES
- scientific article; zbMATH DE number 5901889 (Why is no real title available?)
- scientific article; zbMATH DE number 1014107 (Why is no real title available?)
- Probability and natural deduction
- scientific article; zbMATH DE number 3321248 (Why is no real title available?)
- scientific article; zbMATH DE number 3948264 (Why is no real title available?)
- On classical logic with probability operators: a short survey
- scientific article; zbMATH DE number 935041 (Why is no real title available?)
- Sequent calculus for classical logic probabilized
- Logics of imprecise comparative probability
- Logics with generalized measure operators
- Logical-probabilistic calculus: a tool for studying the reliability and safety of structurally complex systems
- Probability logic: A model-theoretic perspective
This page was built for publication: Probability logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069416)
