Section of Philosophy, Faculty of Technology, Policy and Management, Delft University of Technology;
机译:二维标准道义逻辑[包括对1985年Jones–P?rn道理逻辑系统的详细分析]
机译:二维标准道义逻辑[包括对1985年Jones-P?rn道理逻辑系统的详细分析]
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:主题逻辑中的命题量词
机译:模特量化和模态逻辑的比较
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:一种不同的语法逻辑方法:视网膜逻辑被视为动态逻辑的变种。