无穷逻辑是由一般无穷逻辑、无穷深逻辑、无穷可容逻辑、无穷概率逻辑等构成的逻辑群。它们是经典一阶逻辑沿着四个方面之一作无穷扩张的逻辑。
说到这儿，无穷大的逻辑变得诡异起来。
本文前半部分致力于建立一种（无穷）程序逻辑的基础。
An extended dynamic logic is developed by using a special (infinitary) descriptive language as the building basis.
将安全协议对应的并发合成系统抽象为一组逻辑规则，能够对安全协议无穷会话的交叠运行进行验证。
We abstract this as a group of logic rules, which makes it possible to do the verification of the interleaving of infinite sessions of the security protocol.
应用推荐