Abstract
We introduce a relevant justification logic, RJ4, which is a combination of the relevant logic R and the justification logic J4. We describe the corre......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
