NExtK4中濒表格逻辑研究回顾.pdfVIP

ISSN 1673—9418 C0DEN JKYTA8 E—mail：fcst@vip．163．com JournalofFrontiersofComputerScienceandTechnology http：／／www．ceaj．org 1673—9418／2010／04(12)一1131—16 Tel：+86一l0 DOI：10．3778d．issn．1673—9418．2010．12．008 NExtK4中濒表格逻辑研究回顾水 杜 珊 武汉大学 哲学学院，武汉 430072 RetrospecttotheResearchesinPretabularLogicsofNExtK4 DU Shan SchoolofPhilosophy,W uhanUniversity,W uhan430072，China +Correspondingauthor：E—mail：eshan33333@yahoo．com．cn DU Shan．Retrospectto the