Logics with lower and upper probability operators
From MaRDI portal
Publication:2411262
Recommendations
- Some first-order probability logics
- On classical logic with probability operators: a short survey
- scientific article; zbMATH DE number 1946849
- A first-order logic for reasoning about higher-order upper and lower probabilities
- A decidable multi-agent logic with iterations of upper and lower probability operators
Cites work
- scientific article; zbMATH DE number 48344 (Why is no real title available?)
- scientific article; zbMATH DE number 3560492 (Why is no real title available?)
- scientific article; zbMATH DE number 1946849 (Why is no real title available?)
- A logic for inductive probabilistic reasoning
- A logic for reasoning about evidence
- A logic for reasoning about probabilities
- A logic for reasoning about the probability of fuzzy events
- A logic with approximate conditional probabilities that can model default reasoning
- A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- A survey of the theory of coherent lower previsions
- An analysis of first-order logics of probability
- An infinitary probability logic for type spaces
- Anytime deduction for probabilistic logic
- Conditional \(p\)-adic probability logic
- Default reasoning and possibility theory
- Fuzzy sets as a basis for a theory of possibility
- Hierarchies of probabilistic logics
- Imprecise probability trees: bridging two theories of imprecise probability
- Infinitely subadditive capacities as upper envelopes of measures
- Logic colloquium 76. Proceedings of a conference held in Oxford in July 1976
- Logic, language, information, and computation. 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1--4, 2014. Proceedings
- Modal logics of uncertainty with two-layer syntax: a general completeness theorem
- Modal operators with probabilistic interpretations. I
- Multiply Subadditive Functions
- Probabilistic logic
- Probabilistic logics for objects located in space and time
- Probabilistic logics with independence and confirmation
- Probability logic
- Probability logic for type spaces
- Probability logics. Probability-based formalization of uncertain reasoning
- Reasoning about knowledge and probability
- Robust Statistics
- Some first-order probability logics
- Some probability logics with new types of probability operators
- Towards a unified theory of imprecise probability
Cited in
(20)- Hierarchies of probabilistic logics
- Representing upper probability measures over rational Łukasiewicz logic
- Logics with the Qualitative Probability Operator
- A first-order logic for reasoning about higher-order upper and lower probabilities
- Incomplete Information and Justifications
- On classical logic with probability operators: a short survey
- scientific article; zbMATH DE number 1946849 (Why is no real title available?)
- Logics with Probability Operators
- Some New Probability Operators
- Some first-order probability logics
- An epistemic probabilistic logic with conditional probabilities
- A decidable multi-agent logic with iterations of upper and lower probability operators
- scientific article; zbMATH DE number 1904893 (Why is no real title available?)
- Reasoning About Degrees of Confirmation
- Multi-agent logics for reasoning about higher-order upper and lower probabilities
- Logics with generalized measure operators
- Justification Logics with Probability Operators
- Towards a unified view on logics for uncertainty
- A probabilistic deontic logic
- A probabilistic logic between \(LPP_1\) and \(LPP_2\)
This page was built for publication: Logics with lower and upper probability operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2411262)
