Hierarchies of probabilistic logics

DOI10.1016/J.IJAR.2014.03.006zbMATH Open1433.03061OpenAlexW1983235446MaRDI QIDQ465583FDOQ465583

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

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

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)

Cites Work

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

Cited In (7)

• On Hierarchical Reasoning in Combinations of Theories
• Grades of probability modality in the law of evidence
• 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

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)