Loading...

A logical framework for the Islamic law

Ardeshir, M ; Sharif University of Technology | 2022

188 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/978-3-030-70084-3_3
  3. Publisher: Springer Science and Business Media B.V , 2022
  4. Abstract:
  5. We introduce a new aspect of the notion of obligation inspired from the Islamic legal system. We then construct a dynamic deontic logic to model this notion of obligation. A semantics for this logic is introduced, and then its soundness and completeness theorems with respect to this semantics are proved. © 2022, Springer Nature Switzerland AG
  6. Keywords:
  7. Actions ; Completeness ; Deontic logic ; Dynamic logic ; Islamic law ; Obligation ; Soundness
  8. Source: Logic, Argumentation and Reasoning ; Volume 23 , 2022 , Pages 53-81 ; 22149120 (ISSN)
  9. URL: https://link.springer.com/chapter/10.1007/978-3-030-70084-3_3