A logic and computation for Popper's conditional probabilities

DOI10.1007/978-3-030-86772-0_47OpenAlexW3199252153MaRDI QIDQ2146066

Shota Motoura

Publication date: 15 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86772-0_47

zbMATH Keywords

complexityconditional probabilitydecidabilitydefinabilitylogiccomputationPopper function

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of conditionals. An application of probability to deductive logic
• A logic for reasoning about probabilities
• Markov logic networks
• Suppes-style sequent calculus for probability logic
• On the combinatorial and algebraic complexity of quantifier elimination
• Modus TollensProbabilized
• TRIANGULATING NON-ARCHIMEDEAN PROBABILITY
• Inference rules for probability logic
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This page was built for publication: A logic and computation for Popper's conditional probabilities