Probability Logics
From MaRDI portal
Publication:2832982
DOI10.1007/978-3-319-47012-2zbMATH Open1371.03001OpenAlexW4234037986MaRDI QIDQ2832982
Zoran Marković, Zoran Ognjanović, Miodrag Rašković
Publication date: 15 November 2016
Full work available at URL: https://doi.org/10.1007/978-3-319-47012-2
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)
Cited In (39)
- Title not available (Why is that?)
- Incomplete Information and Justifications
- Probabilistic justification logic
- Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
- Probabilistic temporal logic with countably additive semantics
- Probabilistic logics with independence and confirmation
- Uncertain logics, variables and systems
- Some New Probability Operators
- Combining probability and logic: papers from Progic 2011
- 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
- Logical perspectives on the foundations of probability
- An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic
- A Syntactical Analysis of Lewis’s Triviality Result
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- A triple uniqueness of the maximum entropy approach
- 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
- Toward a general theory of reasoning with uncertainty. Part II: probability
- An epistemic probabilistic logic with conditional probabilities
- A LOGIC FOR UNCERTAIN PROBABILITIES
- \(n\)-tuple algebra-based probabilistic logic
- Title not available (Why is that?)
- Sequent calculus for classical logic probabilized
- Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
- Probability logic: A model-theoretic perspective
- IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?
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 Q2832982)
