Title: Logic for Islamic Laws