Publications
“Logics Of (Formal And Informal) Provability” . Handbook of Formal Philosophy.
. In Press. “Many-Valued Logic Of Informal Provability: A Non-Deterministic Strategy”. The Review of Symbolic Logic.
. In Press. “Induction” . Handbook of Formal Philosophy.
. 2018. 
“Philosophical Aspects Of An Alleged Connection Between The Axiom Of Choice And Predicting The Future” . Applications of Formal Philosophy The Road Less Travelled: 213-220.
. 2017. “Plural Quantifiers: A Modal Interpretation”. Synthese 191: 1605–1626.
. 2014. 

“S\lupecki's Generalized Mereology And Its Flaws”. History and Philosophy of Logic 35: 289–300.
. 2014. 
“Stanislaw Leśniewski: Rethinking The Philosophy Of Mathematics”. European review 23: 125–138.
. 2014. 
“Gödelizing The Yablo Sequence”. Journal of philosophical logic 42: 679–695. http://dx.doi.org/10.1007/s10992-012-9244-4.
. 2013. 
“Induction From A Single Instance: Incomplete Frames”. Foundations of science 18: 641–653.
. 2013. 

“Busting A Myth About Leśniewski And Definitions”. History and philosophy of logic 33: 159–189.
. 2012. 

“Numbers And Propositions Versus Nominalists: Yellow Cards For Salmon & Soames”. ERKENNTNIS 77: 381–397.
. 2012. 
“'platonic' Thought Experiments: How On Earth”. Synthese 187: 731–752.
. 2012. 

“How Not To Use The Church-Turing Thesis Against Platonism”. Philosophia Mathematica 19: 74–89.
. 2011. 
“Neologicist Nominalism”. Studia Logica 96: 149-173.
. 2010. “Response To A Critic (Definability And Ontology)”. Reports on Mathematical Logic 45: 255-259.
. 2010. “Bogus Singular Terms And Substitution Salva Denotatione”. The Reasoner 3: 4-5.
. 2009. “Capturing Dynamic Conceptual Frames”. Logic Journal of IGPL 18: 430–455.
. 2009. 
“Doxastic Synonymy Vs. Logical Equivalence”. The Reasoner 3: 5-6.
. 2009. “Leitgeb, ``about'', Yablo”. Logique et Analyse 52: 239-254.
. 2009. 
“The Mathematics Of Logic By Richard Kaye (Review).”. Bulletin of Symbolic Logic 15: 216–218.
. 2009. “Modal Logic And Philosophy. A Case Study.” . Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008: 79-83.
. 2009. “A Note On Identity And Higher-Order Quantification.”. Australasian Journal of Logic 7: 48–55.
. 2009. “Phd's In Logic - Report (With S. Wintein)”. The Reasoner 3: 6–7.
. 2009. “Reasoning With Dynamic Conceptual Frames.” . Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008: 84-89.
. 2009.