The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.

本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。

youdao

The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.

本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。

youdao