动态道义逻辑相关论文
冯?赖特区分了两种允许,即弱允许和强允许.弱允许就是不禁止,强允许则是独立于义务或禁止的明确声明.一些法学理论家认为在实际的......
1988年梅耶给出一个动态道义逻辑（DDL）系统，谊系统不是处理一般的词项和命题，而是把行动和断言作为逻辑的处理对象。梅耶之后，这一系统......
