The Adam Smith Problem has different levels of logics.

“亚当·斯密问题”有不同的逻辑层面。

Usual logics just deal with the concept of static negation.

通常的逻辑只涉及静态否定的概念。

I've always believed in Numbers, in the equations and logics.

我一直相信数字，相信方程和逻辑。

Branching logics, however, can reason about multiple time lines.

分支逻辑，但是，可以原因多时间线。

So called linear time logics are restricted to this type of reasoning.

所谓线性时间逻辑仅限于这种类型的推理。