Probability logics. Probability-based formalization of uncertain reasoning
From MaRDI portal
Recommendations
Cited in
(53)- Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
- Probabilistic logics with independence and confirmation
- Sequent calculus for classical logic probabilized
- The complexity of satisfiability in non-iterated and iterated probabilistic logics
- An epistemic probabilistic logic with conditional probabilities
- A triple uniqueness of the maximum entropy approach
- A logic of interactive proofs
- A probabilistic logic between \(LPP_1\) and \(LPP_2\)
- Multi-agent logics for reasoning about higher-order upper and lower probabilities
- Logics with lower and upper probability operators
- Combining probability and logic: papers from Progic 2011
- Interval/probabilistic uncertainty and non-classical logics
- The probability nesting game
- scientific article; zbMATH DE number 5901889 (Why is no real title available?)
- Probability logics
- A LOGIC FOR UNCERTAIN PROBABILITIES
- \(n\)-tuple algebra-based probabilistic logic
- Toward a general theory of reasoning with uncertainty. Part II: probability
- scientific article; zbMATH DE number 1322225 (Why is no real title available?)
- scientific article; zbMATH DE number 1844478 (Why is no real title available?)
- A syntactical analysis of Lewis's triviality result
- Logics with Probability Operators
- Some New Probability Operators
- Applications of Logics About Simple Probabilities
- Reasoning About Degrees of Confirmation
- Probabilistic justification logic
- Probabilistic extensions of various logical systems
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Probability logic: A model-theoretic perspective
- Ultralogics and probability models
- Logical perspectives on the foundations of probability
- Reasoning about knowledge and conditional probability
- Generalizing probabilistic material implication and Bayesian conditionals
- Intuitionistic propositional probability logic
- Probability logics for reasoning about quantum observations
- IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?
- An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic
- Incomplete Information and Justifications
- Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
- Probabilistic temporal logic with countably additive semantics
- Many-valued coalgebraic modal logic: one-step completeness and finite model property
- The logic ILP for intuitionistic reasoning about probability
- A logic with probabilistic Jaccard similarity
- Logics for at most countable first-order structures
- Logics for contact and measure
- Logics for contact and measure
- Infinitary calculus for first-order logic of probability with distribution on the domain
- Probability and natural deduction
- Probability logic and statistical relational artificial intelligence
- Sharpening complexity results in quantified probability logic
- On the logical and algebraic aspects of reasoning with formal contexts
- On the decision problem for quantified probability logics
- Uncertain logics, variables and systems
This page was built for publication: Probability logics. Probability-based formalization of uncertain reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2832982)
