该文论述了面向多推理者的逻辑体系的特点，提出了一个面向多推理者系统的逻辑框架MRSL（Mulit－Reasoner Reasoning System Logic）。该框架不同于在传统模态逻辑上建立的框架，如Kurt
美国PELTON公司的Ⅰ－3型编码扫描器和5型编码扫描器与记录系统相配合有一定的条件，若记录系统在遥控启动和TB信号通路上带电源，3型编码扫描器就可与其配合使用，5型编码扫描器通过
从行为功能级开始的自动逻辑综合系统的核心是数据流综合。在数据流综合中，优化是一个关键问题，它关系到设计的质量。但找到最优解往往要花费较高的代价，因此常常用近似最优解代
用逻辑形式来表示时态信息的方法之一是用被称之为具体化的（reified）命 题来表示，该文将讨论几种用此方法表示时态信息的逻辑形式，在此基础上提出一种基于片段的时态逻辑系统，并介
本文建立了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了新假设、事实反驳、假说的重构及认识进程等概念的定义,讨论了它们的性质并证明了与之有关的定理.本文还定义了认识进程的极限概念并证明任何关于某一特定问题的经验模型都是一认识进程的极限.作为开放逻辑的应用,本文给出了Rei-ter缺省推理理论的一个模型论解释.
文中提出了逻辑验证自身的特点：它的对象设计，可以利用设计中所有的信息资源，可以深入设计内部分而治之。用一个１６×１６位的乘法器为例说明这些特点的利用，使得原来很难的逻辑验证工作