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. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“Doxastic Synonymy Vs. Logical Equivalence”. The Reasoner 3: 5-6.
. 2009. “Induction” . Handbook of Formal Philosophy.
. 2018. ![](/sites/default/themes/logica/images/biblio.png)
“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. ![](/sites/default/themes/logica/images/biblio.png)
“Capturing Dynamic Conceptual Frames”. Logic Journal of IGPL 18: 430–455.
. 2009. ![application/pdf](/modules/file/icons/application-pdf.png)
“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. ![](/sites/default/themes/logica/images/biblio.png)
“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. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“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. ![application/pdf](/modules/file/icons/application-pdf.png)
“Epistemic Justification In The Context Of Pursuit: A Coherentist Approach”. Synthese 191: 3111-3141.
. 2014. ![application/pdf](/modules/file/icons/application-pdf.png)
“An Adaptive Logic Framework For Conditional Obligations And Deontic Dilemmas” . Logic and logical philosophy 19: 95–128.
. 2010. ![](/sites/default/themes/logica/images/biblio.png)
“Tolerating Deontic Conflicts By Adaptively Restricting Inheritance”. Logique et Analyse 219: 477-506.
. 2012. ![](/sites/default/themes/logica/images/biblio.png)
“A Deontic Logic Framework Allowing For Factual Detachment –- Appendix”. Journal of Applied Logic 9: 61–80.
. 2009. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)