机译:终止具有差分和逆向混合逻辑的Tableau系统
Department of Computer Science, Saarland University, 66123 Saarbruecken, Germany;
Department of Computer Science, Saarland University, 66123 Saarbruecken, Germany;
modal logic; hybrid logic; difference modality; tableau systems; decision procedures;
机译:基于Tableau的具有绑定,逆向和全局模态的混合逻辑表达片段的决策程序
机译:带有逆的规则语法的ExpTime Tableau决策程序
机译:带有逆运算的正则语法逻辑的ExpTime Tableau决策过程
机译:终止具有差异模态和相反逻辑的混合逻辑的Tableaux
机译:S-Taliro:用于混合系统的时间逻辑伪造的工具
机译:的实时巧合系统的高计数率TOF或非TOF pET相机使用混合方法的结合与逻辑和时间标记技术
机译:终止具有差异和逆向的混合逻辑的表格系统