对应物理论（counterpart theory）是一阶逻辑的一种理论．Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质，但是Lewis......

翻译在计算机科学中的一个重要应用是实现一个逻辑与另一个逻辑在表达能力上的比较,以及利用目标逻辑的推理机实现源逻辑的推理.现......