<正> J. Cohen在文[2]、[4]、[5]中试图构造相关变量方法(RVM),统一表达Bacon-Mill的排除归纳法,并在模态辑逻S4系统中表述基于RVM......