Hierarchies of probabilistic logics

DOI10.1016/j.ijar.2014.03.006zbMath1433.03061OpenAlexW1983235446MaRDI QIDQ465583

Miodrag Rašković, Zoran Ognjanović, Aleksandar Perović, Nebojša Ikodinović

Publication date: 23 October 2014

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2014.03.006

zbMATH Keywords

probability logiccompleteness theoremsdefinability of probability operatorshierarchy of probability logics

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Hierarchies of computability and definability (03D55)

Related Items (3)

Probabilistic Common Knowledge Among Infinite Number of Agents ⋮ Logics with lower and upper probability operators ⋮ Some New Probability Operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness theorem for propositional probabilistic models whose measures have only finite ranges
• A logic for reasoning about the probability of fuzzy events
• Probabilistic logic
• Modal operators with probabilistic interpretations. I
• Some first-order probability logics
• A logic for reasoning about probabilities
• Probability logic of finitely additive beliefs
• A logic with approximate conditional probabilities that can model default reasoning
• Coherent Conditional Probability in a Fuzzy Logic Setting
• Measure Logic
• Some probability logics with new types of probability operators
• Some considerations on the logics P_FD A logic combining modality and probability
• Logics in Artificial Intelligence
• A Probabilistic Logic with Polynomial Weight Formulas
• Completeness theorem for a logic with imprecise and conditional probabilities
• Logics with the Qualitative Probability Operator
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity

This page was built for publication: Hierarchies of probabilistic logics