Books and contributions to books
Formalizing Medieval Logical Theories: Suppositio, Obligationes and Consequentia. In the series Logic, Epistemology and the Unity of Science. Berlin: Springer, 2007.
‘Judgments, contents and their representations’. In G. Primiero & S. Rahman (eds.), Judgement and Knowledge. London, College Publications, forthcoming.
‘The Ockham-Burley dispute’. In A. Conti (ed.), A Companion to Walter Burley. Leiden, Brill, forthcoming.
'Medieval theories of truth’. In H. Lagerlund (ed.), Encyclopedia of Medieval Philosophy. Berlin: Springer, forthcoming.
'Medieval theories of quantification’. In H. Lagerlund (ed.), Encyclopedia of Medieval Philosophy. Berlin: Springer, forthcoming.
'Medieval theories of supposition’. In H. Lagerlund (ed.), Encyclopedia of Medieval Philosophy. Berlin: Springer, forthcoming.
‘Ockham’s Supposition Theory as Formal Semantics’. In C. Kann, B. Loewe, C. Rode, and S. L. Uckelman (eds.) Modern Views of Medieval Logic. In the series Recherches de Théologie et Philosophie Médiévales. Leuven, Peeters.
‘Vis inferentiae: Topics and Consequence’. In J. Marenbon (ed.), Aristotelian Logic: East and West – Methods and Methodology (provisional title).
‘Medieval obligationes as a regimentation of ‘the game of giving and asking for reasons’’. In M. Palis (ed.), LOGICA Yearbook 2008. London, College Publications.
'14th Century logic after Ockham’. In D. Gabbay and J. Woods (eds.) 2008, Handbook of the History of Logic vol. 2. Amsterdam: Elsevier, pp. 433-504.
'Tarski's hidden theory of meaning'. In S. Rahman, T. Tulenheimo & E. Genot (eds.) 2008, Unity, Truth and the Liar – The modern relevance of medieval solutions to Semantic paradoxes. Berlin: Springer, pp. 41-63.
'Contradiction: the real challenge for paraconsistent logic'. In J.Y. Beziau, W.A. Carnielli and D. Gabbay (eds.) 2007, Handbook of Paraconsistency. London, College Publications.
In search of the intuitive notion of logical consequence'. Logica Yearbook 2004, Prague Filosofia, 2005, pp. 109-123.
'Ockham on Supposition and Equivocation in Mental Language'. Proceedings of the Society for Medieval Logic and Metaphysics, vol. 3
'A medieval reformulation of the de dicto / de re distinction'. Logica Yearbook 2003, Prague, Filosofia, 2004, pp. 111-124.
Articles
Refereed Journals
'The Buridanian account of inferential relations between doubly-quantified propositions: a proof of soundness'. History and Philosophy of Logic 25(3), 2004, pp. 215-234.
'Medieval Obligationes as Logical Games of Consistency Maintenance'. Synthese 145(3), 2005, pp.371-395.
'Buridan's consequentia: consequence and inference within a token-based semantics'. History and Philosophy of Logic 26 (4), 2005, pp. 277-297.
'Roger Swyneshed's obligationes: a logical game of inference recognition?'. Synthese 151(1), 2006, pp. 127-155.
'Ralph Strode's obligationes: the return of consistency and the epistemic turn'. Vivarium 44(2-3), 2006, pp. 338-374.
'Theory of supposition vs. theory of fallacies in Ockham’. Vivarium 45(2-3), 2007, pp. 343-359.
‘Lessons on sentential meaning from medieval solutions to the Liar paradox”. Forthcoming in Philosophical Quarterly.
‘An intensional interpretation of Ockham’s theory of supposition”. Journal of the History of Philosophy 46(3), 2008, pp. 365-394.
(With S. Read) ‘Insolubilia and the fallacy secundum quid et simpliciter’. Vivarium 46(2), 2008, pp. 175-191.
‘A comparative taxonomy of medieval and modern approaches to Liar sentences’. History and Philosophy of Logic 29(3), 2008, pp. 227 – 261.
Reviews
Review of S. Weber's Richard Billingham "De Consequentiis" mit Toledo-Kommentar. History and Philosophy of Logic 25(2), 2004, pp. 160-162.
Review of G. Klima's "Consequences of a closed, token-based semantics: the case of John Burdian". Bulletin of Symbolic Logic 10(4), 2004, pp. 592-593.
Review of of John Buridan’s Summulae de Propositionibus (ed. R. van der Lecq). Journal of the History of Philosophy 45 (1), 2007, pp. 155-156.
Review of P. Thom’s Logic and Ontology in the Syllogistic of Robert Kilwardby. Forthcoming in History and Philosophy of Logic.