Modal Logics Between S 4 and S 5
Modal Logics Between S 4 and S 5
复制标题
S 4 和 S 5 之间的模态逻辑
DOI：
10.1002/malq.19590051405
复制
发表时间：
1959
影响因子：
0.3
通讯作者：
E. Lemmon
中科院分区：
文献类型：
--
作者：
M. Dummett;E. Lemmon
梅·达米特和EJ·莱蒙。S4和S5之间的模态逻辑。《数学逻辑与数学基础》，第5卷，第250-264页。-Iwao西村。直觉命题演算中一变量公式。《符号逻辑》，第25卷第4期，第327-331页。直流梅金森。有无穷多个狄奥多里亚模态函数。符号逻辑学报，第31卷，第406-408页。[综述]李志强。符号逻辑研究[j] .中文信息学报，32(3):396-397。
MAE Dummett and EJ Lemmon. Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5, pp. 250–264.-Iwao Nishimura. On formulas of one variable in intuitionistic propositional calculus. The journal of symbolic logic, vol. 25 No. 4, pp. 327–331.-DC Makinson. There are infinitely many Diodorean modal functions. The journal of symbolic logic, vol. 31, pp. 406–408.[REVIEW] AN Prior-1967-Journal of Symbolic Logic 32 (3): 396-397.