模态逻辑GL 的基于广义谢弗竖的分析性模态公理系统.pdfVIP

StudiesinLogic,Vol.9, No. 2 (2016): 1–13 PII:1674-3202(2016)-02-0001-13 GeneralizedSheffer-strokeBased AnalyticModal * AxiomaticSystemfor FangfangTang InstitutionofMarxism Research,Chinese Academy of Social Sciences tangff@cass.org.cn Abstract. Based on Generalized Sheffer-stroke, this paper proposes modal tableau and ana- lytic axiomatic system for the modal logic . Generalized Shef