Author name cluster
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
FLAP Journal 2019 Journal Article
We introduce a relevant justification logic, RJ4, which is a combination of the relevant logic R and the justification logic J4. We describe the corresponding class of models, provide the axiomatization and prove that our logic is sound and complete.
LORI Conference 2017 Conference Paper
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.