超模态逻辑K[TnK]和K[TKn].pdfVIP

Studies in Logic, Vol. 5, No. 3 (2012): 24–38 PII: 1674-3202(2012)-03-0024-15 Hypermodal Logics and Chunmei Xu Department of Philosophy, Peking University chunmeixu@pku.edu.cn Abstract. The work of this paper is based on one paper of D. M. Gabbay, which is ‘A theory of hypermodal logics: Mode shifting in modal logic’. Specially, based on his two satisfaction relations, I defi