New Developments in Legal Reasoning and Logic
٢٠٢١
Inferences by Parallel Reasoning in Islamic Jurisprudence
٢٠٢٠
Immanent Reasoning or Equality in Action
٢٠١٨
Linking Game-Theoretical Approaches with Constructive Type Theory
٢٠١٥
The Unity of Science in the Arabic Tradition
٢٠٠٨
Special Sciences and the Unity of Science
٢٠١٢