Title: Logic for Islamic Rules