Some probability logics with new types of probability operators

DOI10.1093/LOGCOM/9.2.181zbMATH Open0941.03022OpenAlexW2062125000MaRDI QIDQ4242585FDOQ4242585

Authors: Miodrag Rašković, Zoran Ognjanović 

Publication date: 11 May 1999

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/9.2.181

Recommendations

• On classical logic with probability operators: a short survey
• Logics with lower and upper probability operators
• Quantifying over events in probability logic: an introduction
• Hierarchies of probabilistic logics
• Some first-order probability logics

zbMATH Keywords

completenessdecidabilityprobabilistic reasoningprobability modelprobability operatorsprobability logicsevents in discrete sample spaces

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cited In (25)

• Qualitative Possibilities and Necessities
• Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
• A logic with approximate conditional probabilities that can model default reasoning
• Some New Probability Operators
• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
• Towards classifying propositional probabilistic logics
• Quantifying over events in probability logic: an introduction
• Measure Logic
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• Applications of Logics About Simple Probabilities
• Adelic uncertainty logic
• Logics with Probability Operators
• Hierarchies of probabilistic logics
• A logical consequence informed by probability
• The logic ILP for intuitionistic reasoning about probability
• \(p\)-adic probability logics
• Conditional \(p\)-adic probability logic
• Probability logic of finitely additive beliefs
• How to Restore Compactness into Probabilistic Logics?
• Interpolative Boolean Logic
• Logics with lower and upper probability operators
• Specifying and reasoning about uncertain agents
• Some first-order probability logics
• Probabilistic Common Knowledge Among Infinite Number of Agents

This page was built for publication: Some probability logics with new types of probability operators

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