Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A logical framework for the Islamic law - MaRDI portal

A logical framework for the Islamic law

From MaRDI portal

Publication:6618551

Jump to:navigation, search

DOI10.1007/978-3-030-70084-3_3zbMath1547.03014MaRDI QIDQ6618551

Mohammad Ardeshir, Fatemeh Nabavi

Publication date: 14 October 2024

zbMATH Keywords

completeness deontic logic dynamic logic obligation soundness actions Islamic law

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Other social and behavioral sciences (mathematical treatment) (91F99) History of mathematics in Late Antiquity and medieval Europe (01A35) History of mathematical logic and foundations (03-03) Other applications of logic (03B80)

This page was built for publication: A logical framework for the Islamic law

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6618551&oldid=40179948"