Publications
Export 116 results:
Author Title Type [ Year
Filters: First Letter Of Last Name is M [Clear All Filters]
“Two Type-Theoretical Approaches To Privative Modification” . New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
. 2009. 

“Two Type-Theoretical Approaches To Privative Modification” . New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
. 2009. 

“Yes Fellows, Most Human Reasoning Is Complex”. Synthese 166: 113–131. http://dx.doi.org/10.1007/s11229-007-9268-4.
. 2009. 
“An Adaptive Logic For The Formal Explication Of Scalar Implicatures”. In New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops, New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops, . Springer Verlag. http://dx.doi.org/10.1007/978-3-642-14888-0\_20.
. 2010. 

“An Adaptive Logic For The Formal Explication Of Scalar Implicatures”. In New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops, New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops, . Springer Verlag. http://dx.doi.org/10.1007/978-3-642-14888-0\_20.
. 2010. 

“An Adaptive Logic Framework For Conditional Obligations And Deontic Dilemmas” . Logic and logical philosophy 19: 95–128.
. 2010. 
“Avoiding Deontic Explosion By Contextually Restricting Aggregation”. In Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), . Dordrecht: Springer.
. 2010. 

“Constructive Contextual Modal Judgments For Reasoning From Open Assumptions”. In Proceedings of the Computability in Europe 2010 Conference, Proceedings of the Computability in Europe 2010 Conference, . Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.
. 2010. 

“The Distorted Research Agenda In The Health Sciences And James Robert BrownS Policy Proposal.”. In Logic, Philosophy and History of Science in Belgium II, Logic, Philosophy and History of Science in Belgium II, . Koninklijke Vlaamse Academie van België. http://logica.ugent.be/centrum/preprints/De_Winter_(2012)_-_Brown.pdf.
. 2010. 
“Explanations In Software Engineering: The Pragmatic Point Of View” . Minds and Machines 20: 277–289. http://dx.doi.org/10.1007/s11023-010-9190-2.
. 2010. 
“Inconsistency-Adaptive Modal Logics: On How To Cope With Modal Inconsistency” . Logic and Logical Philosophy 19: 31–61. http://www.logika.umk.pl/llp/pi.html.
. 2010. 
“The Reception Of Ancient Indian Mathematics By Western Historians” . Ancient Indian Leaps into Mathematics: 135–152.
. 2010. 

“The Symbolic Model For Algebra: Functions And Mechanisms” . Model-Based Reasoning in Science and Technology 314: 519–532. http://dx.doi.org/10.1007/978-3-642-15223-8\_29.
. 2010. 

“On The Curious Historical Coincidence Of Algebra And Double-Entry Bookkeeping” . Foundations of the formal sciences VII : bringing together philosophy and sociology of science 32: 109–130. http://www.collegepublications.co.uk/logic/?00021.
. 2011. 

“A Formal Logic For The Abduction Of Singular Hypotheses” . Explanation, Prediction, and Confirmation: 93–108.
. 2011. 

“The Intended Window Of Epistemic Opportunity: A Comment On Miriam Solomon” . Logic, Philosophy and History of Science in Belgium II.
. 2011. 
“Looking For Busy Beavers. A Socio-Philosophical Study Of A Computer-Assisted Proof” . Foundations of the Formal Sciences: 61–90.
. 2011. 
“A Formal Approach To Vague Expressions With Indexicals”. Logic and Engineering of Natural Language Semantics 9 (LENLS 9-2012): 37-51.
. 2012. 

“Het Debat Tussen 'groene Spellers' En 'witte Spellers' Geëvalueerd Vanuit Een Sociaal-Epistemologische Invalshoek”. Ethiek & Maatschappij 14: 61–78.
. 2012. 
“Pragmatic Approaches To Explanation Applied To The Cognitive Sciences: Two Types Of Explanation-Seeking Questions Compared” . Logic, Philosophy and History of Science in Belgium II: 131–137.
. 2012. 
“Tolerating Deontic Conflicts By Adaptively Restricting Inheritance”. Logique et Analyse 219: 477-506.
. 2012. 
“Towards More Conflict-Tolerant Deontic Logics” . Logic, Philosophy and History of Science in Belgium II: 1-8.
. 2012. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. 
“'argumentandi Modus Huius Scientiae Maximè Proprius: ' Guidobaldo's Mechanics And The Question Of Mathematical Principles” . Guidobaldo del Monte (1545-1607) : theory and practice of the mathematical disciplines from Urbino to Europe: 9–34. http://www.edition-open-access.de/media/proceedings/4/Proceedings4.pdf.
. 2013. 

“An Inconsistency-Adaptive Deontic Logic For Normative Conflicts”. Journal of Philosophical Logic 42: 285–315.
. 2013. 