排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
Studia Logica - We study modal companions of $$K4^+$$ , the strictly positive fragment of K4. We partially find the boundary between all normal extensions of K4 and modal companions of $$K4^+$$... 相似文献
1