论文信息 - A criterion for admissibility of rules in the model system S4 and the intuitionistic logic - 字舞流文

A criterion for admissibility of rules in the model system S4 and the intuitionistic logic

Vladimir V. Rybakov | V. Rybakov

[1] V. V. Rybakov. Decidability of the admissibility problem in layer-finite logics , 1984 .

[2] Jean Porte. The deducibilities of S5 , 1981, J. Philos. Log..

[3] Harvey M. Friedman,et al. One hundred and two problems in mathematical logic , 1975, Journal of Symbolic Logic.

[4] Ronald Harrop,et al. Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems , 1960, Journal of Symbolic Logic.

[5] Krister Segerberg,et al. An essay in classical modal logic , 1971 .

[6] G. Mints,et al. Derivability of admissible rules , 1976 .

[7] V. V. Rybakov,et al. Admissible rules for pretable modal logics , 1981 .