机译:模态逻辑经典系统的一阶扩展; Barcan模式的作用
Carnegie Mellon University;
First order modal logic; Epistemic logic; Barcan formulas; Logic of likelihoood;
机译:用于恢复经典逻辑的子经典逻辑的模态扩展
机译:用于恢复古典逻辑的亚古典逻辑的模态扩展
机译:用于直觉和经典模态逻辑的无标签自然演绎系统
机译:引诱模式逻辑S5系统中的改善破坏性扩展规则
机译:整合经典和直觉数学(模态逻辑)
机译:通过Toffoli量子门的经典逻辑整体型扩展
机译:公理模式在直觉谓词逻辑中扮演Terium non Datur角色的表征(非经典逻辑及其Kripke语义学的新方面)
机译:角色和动态子类:模态逻辑方法