机译:基本模态直觉逻辑的表达能力作为经典FOL的一部分
Ruhr Univ Bochum, Dept Philosophy 2, Univ Str 150, D-44780 Bochum, Germany|Ural Fed Univ, Dept Philosophy, Ekaterinburg, Sverdlovskaya O, Russia;
Model theory; Modal logic; Intuitionistic logic; Propositional logic; Bisimulation; Van Benthem's theorem;
机译:经典和直觉命题逻辑的模态逻辑汞齐
机译:关于直觉的模态和时态逻辑及其经典伴随逻辑:拓扑语义和双仿真
机译:基于Tableau的具有绑定,逆向和全局模态的混合逻辑表达片段的决策程序
机译:古典和直觉的次指数逻辑具有同等的表现力
机译:整合经典和直觉数学(模态逻辑)
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:论情态逻辑的子命题片段的表达能力
机译:显式可证性:直觉和模态逻辑的预期语义