|
|||||
|
|
Logics with the Qualitative Probability Operator |
|
| Authors: | Ognjanovic Zoran; Perovic Aleksandar; Raskovic Miodrag |
| Institution: | Matemati 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 等数据库收录！ | |