Publications
“On Ontological Functors Of Lesniewski's Elementary Ontology”. Reports on Mathematical Logic 40: 15–43.
. 2006. “Logics Of (Formal And Informal) Provability” . Handbook of Formal Philosophy.
. In Press. “'platonic' Thought Experiments: How On Earth”. Synthese 187: 731–752.
. 2012. “Doxastic Synonymy Vs. Logical Equivalence”. The Reasoner 3: 5-6.
. 2009. “Some Non-Standard Interpretations Of The Axiomatic Basis Of Leś NiewskiS Ontology”. The Australasian Journal of Logic 4: 13–46.
. 2006. “Reducing Sets To Modalities” . Proceedings of the 31st International Wittgenstein Symposium of the Austrian Ludwig Wittgenstein Society XVI: 359-361.
. 2008. “Phd's In Logic - Report (With S. Wintein)”. The Reasoner 3: 6–7.
. 2009. “On Representing 2” . Journal of Logic and Computation 16: 451-460.
. 2006. “Numbers And Propositions Versus Nominalists: Yellow Cards For Salmon & Soames”. ERKENNTNIS 77: 381–397.
. 2012. “Capturing Dynamic Conceptual Frames”. Logic Journal of IGPL 18: 430–455.
. 2009. “A Note On Identity And Higher-Order Quantification.”. Australasian Journal of Logic 7: 48–55.
. 2009. “Reasoning With Dynamic Conceptual Frames.” . Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008: 84-89.
. 2009. “Response To A Critic (Definability And Ontology)”. Reports on Mathematical Logic 45: 255-259.
. 2010. “Time Travel And Conditional Logics”. In Logica 2007 Yearbook, Logica 2007 Yearbook,.
. 2007. “S\lupecki's Generalized Mereology And Its Flaws”. History and Philosophy of Logic 35: 289–300.
. 2014. “Induction” . Handbook of Formal Philosophy.
. 2018. “Bogus Singular Terms And Substitution Salva Denotatione”. The Reasoner 3: 4-5.
. 2009. “Busting A Myth About Leśniewski And Definitions”. History and philosophy of logic 33: 159–189.
. 2012. “Neologicist Nominalism”. Studia Logica 96: 149-173.
. 2010. “Sequent-Based Argumentation For Normative Reasoning”. Deontic Logic and Normative Systems: Lecture Notes in Computer Science 8554: 224–240.
. 2014. “Tolerating Deontic Conflicts By Adaptively Restricting Inheritance”. Logique et Analyse 219: 477-506.
. 2012. “Towards The Proof-Theoretic Unification Of Dung's Argumentation Framework: An Adaptive Logic Approach”. Journal of logic and computation 21: 133–156. http://dx.doi.org/10.1093/logcom/exq015.
. 2011.