Hierarchies of probabilistic logics

DOI10.1016/J.IJAR.2014.03.006MaRDI QIDQ465583zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Logics with lower and upper probability operators
• Collapsing probabilistic hierarchies. I
• Some first-order probability logics
• Some probability logics with new types of probability operators
• On classical logic with probability operators: a short survey

Cites work

• scientific article; zbMATH DE number 591047 (Why is no real title available?)
• scientific article; zbMATH DE number 1873277 (Why is no real title available?)
• A Probabilistic Logic with Polynomial Weight Formulas
• 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
• Coherent Conditional Probability in a Fuzzy Logic Setting
• Completeness theorem for a logic with imprecise and conditional probabilities
• Completeness theorem for propositional probabilistic models whose measures have only finite ranges
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
• Logics in Artificial Intelligence
• Logics with the Qualitative Probability Operator
• Measure Logic
• Modal operators with probabilistic interpretations. I
• Probabilistic logic
• Probability logic of finitely additive beliefs
• Probability logics
• Some considerations on the logics P_FD A logic combining modality and probability
• Some first-order probability logics
• Some probability logics with new types of probability operators

Cited in

(7)

• Some New Probability Operators
• Partition Dependencies in Hierarchies of Probabilistic Decision Tables
• Logics with lower and upper probability operators
• Probabilistic Common Knowledge Among Infinite Number of Agents
• Collapsing probabilistic hierarchies. I
• Grades of probability modality in the law of evidence
• On Hierarchical Reasoning in Combinations of Theories

This page was built for publication: Hierarchies of probabilistic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q465583)