Logics with the Qualitative Probability Operator

The paper presents several strongly complete axiomatizations of qualitative probability within the framework of probabilistic logic. We show that in the proposed semantics qualitative probabilities are characterized by probability functions, so they also are comparative probabilities.

Saved in:
Bibliographic Details
Published in:Logic journal of the IGPL 2008-04, Vol.16 (2), p.105-120
Main Authors: Ognjanovic, Z., Perovic, A., Raskovic, M.
Format: Article
Language:English
Subjects:
decidability
probability logic
qualitative probability
strong completeness
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The paper presents several strongly complete axiomatizations of qualitative probability within the framework of probabilistic logic. We show that in the proposed semantics qualitative probabilities are characterized by probability functions, so they also are comparative probabilities.
ISSN:1367-0751
1368-9894
DOI:10.1093/jigpal/jzm031