Justification Logic with Approximate Conditional Probabilities

Abstract The importance of logics with approximate conditional probabilities is reflected by the fact that they can model non-monotonic reasoning. We introduce a new logic of this kind, \(\mathsf {CPJ}\), which extends justification logic and supports non-monotonic reasoning with and about evidences.

Authors

• Zoran Ognjanovic
• Nenad Savic
• Thomas Studer

Keywords

No keywords are indexed for this paper.