On Pretabular Logics in NExtK4 (Part I) |
| |
| Authors: | Shan Du Hongkui Kang |
| |
| Affiliation: | 1. Philosophy Department, Wuhan University, No. 16, Luojiashan Road, Wuchang District, Wuhan, China
2. Building 806, No. 1095, Jiefang Street, Wuhan, China
|
| |
| Abstract: | This paper partly answers the question “what a frame may be exactly like when it characterizes a pretabular logic in NExtK4”. We prove the pretabularity crieria for the logics of finite depth in NExtK4. In order to find out the criteria, we create two useful concepts—“pointwise reduction” and “invariance under pointwise reductions”, which will remain important in dealing with the case of infinite depth. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
