Independebt Researcher;
DTU Compute, Technical University of Denmark,Copenhagen, Denmark;
Programming, Logic and Intelligent Systems Research Group, Roskilde University, P.O. Box 260, 4000, Roskilde, Denmark;
Modal logic; hybrid logic; many-valued logic; intuitionistic hybrid logic; tableau systems;
机译:多价位置逻辑的模态等价与双模逻辑,具有多种值可访问关系
机译:关于模糊描述逻辑与多值模态逻辑的关系
机译:佛朗哥·蒙塔尼亚(Franco Montagna)的可证明逻辑和多值逻辑研究
机译:多值逻辑,模糊逻辑和分级结果:比较评估
机译:多值逻辑代数中的分类和基枚举
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:具有n真值值的古典逻辑作为对称的许多值逻辑