scientific article; zbMATH DE number 1873277

MaRDI QIDQ4795396zbMATH OpenFDO

Authors Miodrag Rašković, Zoran Ognjanović

Publication date 24 February 2003

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

completenessprobability model

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• Some first-order probability logics
• A first-order conditional probability logic with iterations
• A first-order conditional probability logic
• Publication:5751971
• On classical logic with probability operators: a short survey

Cited in

(20)

• Hierarchies of probabilistic logics
• A first-order conditional probability logic
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• On classical logic with probability operators: a short survey
• Logics with Probability Operators
• Compactness in finite probabilistic inference
• Some first-order probability logics
• A first-order conditional probability logic with iterations
• Probabilistic characterisation of models of first-order theories
• scientific article; zbMATH DE number 4187137 (Why is no real title available?)
• Probabilities on first order models
• scientific article; zbMATH DE number 1873278 (Why is no real title available?)
• Probability logics with vector-valued measures
• How to Restore Compactness into Probabilistic Logics?
• Interpolative Boolean Logic
• A first-order probabilistic logic with approximate conditional probabilities
• scientific article; zbMATH DE number 4189217 (Why is no real title available?)
• The complexity of satisfiability in non-iterated and iterated probabilistic logics
• Probabilistic justification logic

This page was built for publication:

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