Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
यह स्थिति विवरण LogiKEy जैसे एक एकीकृत मेटा-लॉजिकल ढांचे के भीतर तार्किक बहुलवाद (logical pluralism) का समर्थन करता है, यह तर्क देते हुए कि एक एकल आधारभूत तर्क को लागू करने के बजाय प्रूफ़ असिस्टेंट्स में कई ऑब्जेक्ट लॉजिक्स का समर्थन करना अंतर-विषयक अनुसंधान और बड़े पैमाने पर सिद्धांत विकास को बेहतर ढंग से सक्षम बनाता है।