Relevant Justification Logic.

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.

Authors

• Nenad Savic
• Thomas Studer

Keywords

• Relevant Logic
• Justification Logic
• Soundness and completeness