机译:动态阶代数作为模态和时态逻辑的公理化
Propositional logic; Modal logic; Bounded poset; Tense logic; Tense operators; Dynamic order algebra;
机译:动态阶代数作为模态和时态逻辑的公理化
机译:埃瓦尔德直觉式时态逻辑的代数公理化
机译:时态直觉逻辑的代数公理化
机译:模态访问控制逻辑:公务化,语义和对本定理证明
机译:动态认知逻辑的代数方法。
机译:基于可重构逻辑的新型低成本体系结构的实时代数导数估计
机译:模态代数的模态逻辑和张量积的乘积
机译:线性逻辑模型的代数公理化