共 50 条
- [45] Priority Structures in Deontic Logic THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2014, 80 (02): : 116 - 152
- [49] A Deontic Logic Reasoning Infrastructure SAILING ROUTES IN THE WORLD OF COMPUTATION, 2018, 10936 : 60 - 69
- [50] Model Checking for Deontic Logic IFOST 2008: PROCEEDING OF THE THIRD INTERNATIONAL FORUM ON STRATEGIC TECHNOLOGIES, 2008, : 300 - 302