nextk4中濒表格逻辑研究回顾 retrospect to the researches in pretabular logics of nextk4.pdfVIP

ISSN 1673-9418 CODEN JKYTA8 E-mail: fcst@ Journal of Frontiers of Computer Science and Technology 1673-9418/2010/04(12)-1131-16 Tel: +86-10 DOI: 10.3778/j.issn.1673-9418.2010.12.008 NExtK4 * + , 430072 * Retrospect to the Researches in Pretabular Logics of NExtK4 DU Shan+ School of Philosophy, Wuhan University, Wuhan 430072, China + Corresponding author: E-mail: eshan33333@ DU Shan. Retrospect to the researches in pretabular logics of NExtK4. Journal of Frontiers of Computer Science and Technology, 2010, 4(12): 1131-1146. Abstract: Concentrating on the history of the researches in pretabular logics of NExtK4, gets a conclusion: From the fact found by Scroggs that S5 is pretabular, to the result independently proved by Maksimova, Esakia and Mesk- hi that there are precisely five pretabular extensions of S4, and to the fact that Blok establishes two famous theorems, the problem of the pretabularity criterion isn’t resolved. Though Blok’s substitution-trick and copy-trick may be the closest way to resolve the problem, his method beginning from those “non-pretabular patterns” prevents him from resolving the problem. To improve his method, a more severe reduction is required in the depth of the first frame-pattern of a “quasi-Scroggs-chain”. Key words: five-parameters method; Blok’s substitution-trick and copy-trick; quasi-Scroggs-chain NExtK4 , Scroggs S5 , MaksimovaEsakia Meskhi S4 5 , Blok , Blok , , ; Blok , Scroggs- *The National Social Science Foundation of Ch