Abstract
Standard unary modal logic and binary modal logic, i.e. modal logic with one binary operator, are shown to be definitional extensions of one another w......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
