Abstract
We provide a treatment of the intuitionistic lozenge modality in the style of justification logic. We introduce a new type of terms, called satisfiers......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
