论文信息 - Cut-Free Calculi of the S5 Type - 字舞流文

Cut-Free Calculi of the S5 Type

G. Mints | G. E. Mints

[1] Saul Kripke,et al. A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[2] Modèles a variables de differentes sortes pour les logiques modales M″ ou S 5 , 1960 .

[3] R. A. Bull. MIPC as the Formalisation of an Intuitionist Concept of Modality , 1966, J. Symb. Log..