排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4. 相似文献
2.
1