Euclid's diagrammatic logic and cognitive science. - Yacin Hamami; John Mumma (ESSLLI Logic & Cognition Workshop, 2012)

Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning. - Yacin Hamami; John Mumma (J. Log. Lang. Inf., 2013)

Markus Knauff: Space to Reason - A Spatial Theory of Human Thought - The MIT Press, Cambridge, MA, 2013, xvii+312 pp., ISBN: 9780262018654 (Hardcover), ISBN: 9780262313636 (Ebook), $40 (Hardcover), $28 (Ebook). - Yacin Hamami (Künstliche Intell., 2015)

The interrogative model of inquiry meets dynamic epistemic logics. - Yacin Hamami (Synth., 2015)

Logics of questions. - Yacin Hamami; Floris Roelofsen (Synth., 2015)

Mathematical Inference and Logical Inference. - Yacin Hamami (Rev. Symb. Log., 2018)

Counterexample Search in Diagram-Based Geometric Reasoning. - Yacin Hamami; John Mumma; Marie Amalric (Cogn. Sci., 2021)

Plans and Planning in Mathematical Proofs. - Yacin Hamami; Rebecca Lea Morris (Rev. Symb. Log., 2021)

Mathematical Rigor and Proof. - Yacin Hamami (Rev. Symb. Log., 2022)