An axiomatization of qualitative probability

Qualitative reasoning attracts special attention over the last few decades due to its wide applicability in every-day tasks such as diagnostics, tutoring, real-time monitoring, hazard identification etc. Reasoning about qualitative probabilities is one of the most common cases of qualitative reasoning. Here we will present a part of our work on the problem of sound, strongly complete and decidable axiomatization of the notion of qualitative probability.