Logics with the Qualitative Probability Operator

DOI10.1093/JIGPAL/JZM031MaRDI QIDQ5460204zbMATH OpenOpenAlexFDO

Authors Miodrag Rašković, Zoran Ognjanović, Aleksandar Perović

Publication date 5 May 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzm031

zbMATH Keywords

decidabilityprobability logicqualitative probabilitystrong completeness

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• A logic for reasoning about qualitative probability
• The logic of qualitative probability
• A propositional dynamic logic with qualitative probabilities
• Axiomatizing the logic of comparative probability
• Logics with lower and upper probability operators

Cited in

(25)

• Probability logic of finitely additive beliefs
• A propositional dynamic logic with qualitative probabilities
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• The logic of qualitative probability
• Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
• Qualitative modalities
• \(p\)-adic probability logics
• Measure Logic
• How to Restore Compactness into Probabilistic Logics?
• Interpolative Boolean Logic
• Qualitative Possibilities and Necessities
• WEAK CONDITIONAL COMPARATIVE PROBABILITY AS A FORMAL SEMANTIC THEORY
• Hierarchies of probabilistic logics
• Adelic uncertainty logic
• Logics with Probability Operators
• Formalization of Probabilities with Non-linearly Ordered Ranges
• Some New Probability Operators
• Applications of Logics About Simple Probabilities
• Justification Logics with Probability Operators
• Formal qualitative probability
• Soundness and completeness of the axioms of a probabilistic modal logic
• Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
• A logic for reasoning about qualitative probability
• Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
• Axiomatizing the logic of comparative probability

This page was built for publication: Logics with the Qualitative Probability Operator

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