Publications
Export 39 results:
Author Title Type [ Year
Filters: First Letter Of Title is M [Clear All Filters]
“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. “Metaphysical Explanatory Asymmetries”. Logique et Analyse 53: 345–365.
. 2010. 

“A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.”. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.
. 2010. 
“Metaphysics And Cinema” . Worldviews, Science and Us: Bridging Knowledge and its Implications for our Perpectives on the World.: 118-141.
. 2012. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.
. 2012. 

“Modelling Defeasible Reasoning By Means Of Adaptive Logic Games”. Logic Journal of the IGPL 20: 417–437.
. 2012. “Modelling Abduction In Science By Means Of A Modal Adaptive Logic”. FOUNDATIONS OF SCIENCE 18: 611–624.
. 2013. 

“Mechanistic And Non-Mechanistic Varieties Of Dynamical Models In Cognitive Science: Explanatory Power, Understanding, And The 'mere Description' Worry”. Synthese 192: 43–66.
. 2014. 
“Mechanistic Explanation And Explanatory Proofs In Mathematics”. Philosophia Mathematica 22: 231–248.
. 2014. 

“Modelling Mechanisms With Causal Cycles”. Synthese 191: 1651–1681.
. 2014. 

“Mathematical Proofs In Practice: Revisiting The Reliability Of Published Mathematical Proofs”. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia 29: 345–360.
. 2015. 
“Many-Valued Logic Of Informal Provability: A Non-Deterministic Strategy”. The Review of Symbolic Logic.
. In Press.