即使是在应用领域同样可以有广阔的前景;
莱布尼茨注意到道义模态和传统的模态之间的类似和转换。
其次证明在该定义下,道义逻辑系统DT和DSR等的所有公理的布尔值为1;
道义逻辑是逻辑学发展的新分支,道义悖论也因此成为一个全新的研究领域。
他1951年创建的现代道义逻辑系统把所处理的主要客体对象看作是行动的名称。
逻辑,道义逻辑是道德的逻辑。
我们队道义逻辑知之甚少。
道义逻辑,这是个前沿问题。
论西方可废止性道义逻辑的形式化研究及其存在的问题
道义逻辑不是坏逻辑——与金承光先生商榷