Avicenna's Deliverance: Logic, 2011. ,
The What and the How, The Journal of Philosophy, vol.88, issue.5, pp.225-244, 1991. ,
The What and the How II : Reals and Mights. Noûs, vol.30, pp.413-433, 1996. ,
Logical Consequence in Avicenna's Theory. Logica Universalis, vol.13, pp.101-133, 2019. ,
The Logic of Avicenna Between al-Qiy?s and Man?iq al-Ma?riq?yy?n, Arabic Sciences and Philosophy, vol.29, issue.1, pp.109-131, 2019. ,
The Cambridge Companion to Medieval Logic, pp.67-93, 2017. ,
The Development of Arabic Logic (1200-1800), 2019. ,
The Cambridge Companion to Medieval Logic, pp.45-66, 2017. ,
, Medieval Modalities and Modern Methods: Avicenna and Buridan, vol.4, pp.1029-1073, 2017.
Man?iq al-ma?riq?y?n. Cairo: al-Maktaba al-salaf?ya, 1910. ,
, , 1964.
al-I??r?t wa-l-tanb?h?t bi-?ar? al-??s?, al-Man?iq [= Remarks and Admonitions: With Commentary by, 1983. ,
Remarks and Admonitions, Part One: Logic, 1984. ,
, Tehran: Ente??r?t-e D?ne?g?he Tehr?n, 1985.
Avicenna and ??s? on Modal Logic. History and Philosophy of Logic, vol.30, pp.227-239, 2009. ,
, The Elements of Avicenna's Physics, 2018.
On Rational Philosophy of Language: The Programme in Plato's Cratylus Reconsidered, pp.1-20, 1967. ,
Intuitionistic Type Theory. Computation, Proof, Machine. Napoli: Bibliopolis, 1984. ,
Truth of Empirical Propositions, Lecture Held at the University of Leiden, 2014. ,
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level, 2018. ,
A Dialogical Framwerwork for Fictions as Hypothecial Objects, Filosofia Unisinos, vol.16, issue.1, pp.2-21, 2015. ,
Type-Theoretical Grammar, 1994. ,
It Is Raining (Somewhere), Linguistics and Philosophy, vol.30, issue.1, pp.123-146, 2007. ,
URL : https://hal.archives-ouvertes.fr/ijn_00000598
Perspectival Thought: A Plea for (Moderate) Relativism, 2007. ,
URL : https://hal.archives-ouvertes.fr/ijn_00094848
The Theory of Modal Syllogistic in Medieval Arabic Philosophy, Studies in Modality, pp.17-56, 1974. ,
Derived Name (ism mushtaqq) and Description (wa?f) in Arabic Grammar, Muslim Dialectical Theology, and Arabic Logic, The Unity of Science in the Arabic Tradition, pp.329-360, 2008. ,
An Outline of Avicenna's Syllogistic. Archiv Für Geschichte Der Philosophie, vol.84, pp.129-160, 2002. ,
The Cambridge Companion to Arabic Philosophy, pp.247-265, 2005. ,
The Cambridge Companion to Medieval Logic, pp.342-369, 2017. ,
Constructive Generalized Quantifiers, Synthese, vol.79, issue.1, pp.1-12, 1989. ,