4 SIMPLE SYSTEMS OF MODAL PROPOSITIONAL LOGIC

被引:0
作者
MASSEY, GJ
机构
关键词
D O I
10.1086/288058
中图分类号
N09 [自然科学史]; B [哲学、宗教];
学科分类号
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要
引用
收藏
页码:342 / 355
页数:14
相关论文
共 15 条
  • [1] Carnap Rudolph, 1963, PHILOS R CARNAP
  • [2] Church, 1956, INTRO MATH LOGIC, V1
  • [3] FEYS R, PHILOS R CARNAP
  • [4] Feys R., 1965, MODAL LOGICS
  • [5] HINTIKKA J, 1963, ACTA PHILOS FENN, V16, P65
  • [6] Kripke Saul, 1963, ACTA PHILOS FENN, V16, P83, DOI DOI 10.1007/978-3-0346-0145-0_16
  • [7] Kripke Saul, 1959, J SYMBOLIC LOGIC, V24, P1, DOI DOI 10.2307/2964568
  • [8] Langford, 1959, SYMBOLIC LOGIC
  • [9] LEONARD H, 1951, STRUCTURE METHOD MEA
  • [10] Montague R., 1963, ACTA PHILOS FENN, P153, DOI 10.2307/2271809