Centre of Logic and Philosophy of Science, Ghent University;
Centre of Logic and Philosophy of Science, Ghent University;
机译:语境化的逻辑:规范主体,侵犯和独立
机译:二维标准道义逻辑[包括对1985年Jones–P?rn道理逻辑系统的详细分析]
机译:二维标准道义逻辑[包括对1985年Jones-P?rn道理逻辑系统的详细分析]
机译:具有语境化制裁的安徒生的神话逻辑
机译:超一致性和定理逻辑:带有规范冲突的推理形式系统。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:一种不同的语法逻辑方法:视网膜逻辑被视为动态逻辑的变种。