Probability logics. Probability-based formalization of uncertain reasoning

DOI10.1007/978-3-319-47012-2MaRDI QIDQ2832982zbMATH OpenOpenAlexFDO

Authors Miodrag Rašković, Zoran Marković, Zoran Ognjanović

Publication date 15 November 2016

Full work available at URL https://doi.org/10.1007/978-3-319-47012-2

zbMATH Keywords

completenessuncertain reasoningsoundnessaxiomatisationprobability logics

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Axioms; other general questions in probability (60A05)

Recommendations

• Probability logics
• Probabilistic extensions of various logical systems
• Probabilistic logics and probabilistic networks
• Probabilistic logic in a coherent setting
• A logic for reasoning about qualitative probability

Cited in

(42)

• IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?
• scientific article; zbMATH DE number 1844478 (Why is no real title available?)
• Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
• Incomplete Information and Justifications
• Probabilistic justification logic
• Probabilistic temporal logic with countably additive semantics
• Probabilistic logics with independence and confirmation
• Uncertain logics, variables and systems
• Combining probability and logic: papers from Progic 2011
• Some New Probability Operators
• Probability logics for reasoning about quantum observations
• Interval/probabilistic uncertainty and non-classical logics
• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• Many-valued coalgebraic modal logic: one-step completeness and finite model property
• Reasoning about knowledge and conditional probability
• Probabilistic extensions of various logical systems
• Logical perspectives on the foundations of probability
• An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic
• A triple uniqueness of the maximum entropy approach
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Applications of Logics About Simple Probabilities
• Generalizing probabilistic material implication and Bayesian conditionals
• The complexity of satisfiability in non-iterated and iterated probabilistic logics
• Logics with Probability Operators
• A logic of interactive proofs
• Reasoning About Degrees of Confirmation
• A probabilistic logic between \(LPP_1\) and \(LPP_2\)
• The logic ILP for intuitionistic reasoning about probability
• Ultralogics and probability models
• Intuitionistic propositional probability logic
• Logics with lower and upper probability operators
• The probability nesting game
• An epistemic probabilistic logic with conditional probabilities
• Toward a general theory of reasoning with uncertainty. Part II: probability
• \(n\)-tuple algebra-based probabilistic logic
• A LOGIC FOR UNCERTAIN PROBABILITIES
• A syntactical analysis of Lewis's triviality result
• scientific article; zbMATH DE number 5901889 (Why is no real title available?)
• Sequent calculus for classical logic probabilized
• Probability logics
• Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
• Probability logic: A model-theoretic perspective

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)