|
|||||
|
|
Logics with the Qualitative Probability Operator |
|
| Authors: | Ognjanovic, Zoran Perovic, Aleksandar Raskovic, Miodrag |
| Affiliation: | Matemati!["c"]("/math/ccaron.gif") ki institut SANU, Kneza Mihaila 35, 11000 Beograd, Serbia. E-mail: zorano{at}mi.sanu.ac.yu |
| Abstract: | The paper presents several strongly complete axiomatizationsof qualitative probability within the framework of probabilisticlogic. We show that in the proposed semantics qualitative probabilitiesare characterized by probability functions, so they also arecomparative probabilities. |
| Keywords: | probability logic qualitative probability strong completeness decidability |
| 本文献已被 Oxford 等数据库收录！ | |