排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
Dalmonte Tiziano Grellois Charles Olivetti Nicola 《Journal of Philosophical Logic》2020,49(5):833-882
Journal of Philosophical Logic - We define a family of intuitionistic non-normal modal logics; they can be seen as intuitionistic counterparts of classical ones. We first consider monomodal logics,... 相似文献
1