共 50 条
- [32] Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again Journal of Logic, Language and Information, 2023, 32 : 19 - 62
- [36] Automated Reasoning over Deontic Action Logics with Finite Vocabularies ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (139): : 16 - 30
- [38] Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra DEONTIC LOGIC IN COMPUTER SCIENCE, 2010, 6181 : 132 - 147
- [39] Four-valued logics for reasoning with uncertainty in prioritized data INFORMATION, UNCERTAINTY AND FUSION, 2000, 516 : 293 - 304