机译:具有无限证明系统的混合逻辑
Department of Philosophy, University of Groningen, 9700 AB Groningen, The Netherlands;
hybrid logic; strong completeness; non-compact logics; infinitary proof rules;
机译:真理,部分逻辑和无限证明系统
机译:迈向域的无限逻辑:过渡系统的艾布拉姆斯基逻辑
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:将线性时间时间逻辑嵌入无限逻辑:用于切割消除的多毒者无限性认罪线性时间呈现时间逻辑
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:无限性时态逻辑的完整性证明
机译:走向域的永恒逻辑:过渡系统的abramsky逻辑.211软件工程