Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
There are a variety of temporal logics appropriate for a variety of reasoning tasks.
不同的时态逻辑能够适应不同的推理任务。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
应用推荐