In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. ......

分析方法是现代英美哲学的基本方法,正确和传递信息是对分析方法的直觉要求。摩尔把分析的对象限定在概念而不是语言表达式上,朗福......