Abstract
In this paper, a particular extension of the constitutive bi-modal logic for single-agent subset spaces will be provided. That system, which originall......
小提示:本篇文献需要登录阅读全文,点击跳转登录