共 11 条
[1]
GARDNER M, 1977, SCI AM, V236, P128
[3]
HAREL D, 1985, LOGICS MODELS CONCUR
[4]
Hintikka J., 1962, KNOWLEDGE BELIEF
[5]
LENZEN W, 1978, ACTA PHILOS FENN, V30, P79
[6]
Lewis D.K., 1973, COUNTERFACTUALS
[7]
PARIKH R, 1985, LOGICS PROGRAMS
[8]
PRIOR AN, 1961, FORMAL LOGIC
[9]
VANBENTHEM JFAK, 1978, THEORIA, V44, P25
[10]
Williams Bernard, 1978, DESCARTES PROJECT PU