|
|||||
|
|
On Pretabular Logics in NExtK4 (Part II) |
|
| Authors: | Shan Du |
| Affiliation: | 1. Philosophy Department, Wuhan University, No. 16 Luojiashan Road, Wuchang District, Wuhan, China |
| Abstract: | In this paper we prove the pretabularity criteria for the logics of infinite depth in NExtK4. Then we use the criteria to resolve the problems of pretabular logics in NExtQ4 and prove that there is a continuum of pretabular logics in NExtQ4 just like NExtK4. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |