Benzmüller, Christoph; Fuenmayor, David; Steen, Alexander; Sutcliffe, Geoff Who Finds the Short Proof? An Exploration of Variants of Boolos’ Curious Inference using Higher-order Automated Theorem Provers. arXiv:2208.06879 Preprint, arXiv:2208.06879 [math.LO] (2022). MSC: 03B35 03B10 03B16 68T27 68T30 03A05 00A30 BibTeX Cite \textit{C. Benzmüller} et al., ``Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers'', Preprint, arXiv:2208.06879 [math.LO] (2022) Full Text: DOI arXiv OA License
Benzmüller, Christoph; Scott, Dana S. Automating free logic in HOL, with an experimental application in category theory. (English) Zbl 1434.68639 J. Autom. Reasoning 64, No. 1, 53-72 (2020). MSC: 68V15 03B16 03B35 03B60 18A15 PDFBibTeX XMLCite \textit{C. Benzmüller} and \textit{D. S. Scott}, J. Autom. Reasoning 64, No. 1, 53--72 (2020; Zbl 1434.68639) Full Text: DOI Link
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier Åqvist’s dyadic deontic logic \(\mathbf{E}\) in HOL. (English) Zbl 1513.03041 J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 5, 733-754 (2019). MSC: 03B45 03B16 03B35 68V15 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 5, 733--754 (2019; Zbl 1513.03041)
Benzmüller, Christoph; Farjami, Ali; Meder, Paul; Parent, Xavier I/O logic in HOL. (English) Zbl 1513.03040 J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 5, 715-732 (2019). MSC: 03B45 03B16 03B35 68V15 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 5, 715--732 (2019; Zbl 1513.03040)
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier A dyadic deontic logic in HOL. (English) Zbl 1418.03069 Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 33-49 (2018). MSC: 03B45 03B15 03B35 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., in: Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3--6, 2018. Proceedings. London: College Publications. 33--49 (2018; Zbl 1418.03069)
Benzmüller, Christoph Cut-elimination for quantified conditional logic. (English) Zbl 1417.03282 J. Philos. Log. 46, No. 3, 333-353 (2017). MSC: 03F05 03B15 03B60 PDFBibTeX XMLCite \textit{C. Benzmüller}, J. Philos. Log. 46, No. 3, 333--353 (2017; Zbl 1417.03282) Full Text: DOI
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno Computer-assisted analysis of the Anderson-Hájek ontological controversy. (English) Zbl 1417.03131 Log. Univers. 11, No. 1, 139-151 (2017). MSC: 03B35 03B15 03B45 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., Log. Univers. 11, No. 1, 139--151 (2017; Zbl 1417.03131) Full Text: DOI
Steen, Alexander; Benzmüller, Christoph Sweet SIXTEEN: automation via embedding into classical higher-order logic. (English) Zbl 1373.03030 Log. Log. Philos. 25, No. 4, 535-554 (2016). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03B15 PDFBibTeX XMLCite \textit{A. Steen} and \textit{C. Benzmüller}, Log. Log. Philos. 25, No. 4, 535--554 (2016; Zbl 1373.03030) Full Text: DOI
Benzmüller, Christoph; Gabbay, Dov; Genovese, Valerio; Rispoli, Daniele Embedding and automating conditional logics in classical higher-order logic. (English) Zbl 1272.03064 Ann. Math. Artif. Intell. 66, No. 1-4, 257-271 (2012). Reviewer: Nail Zamov (Kazan) MSC: 03B15 03B35 03B60 68T15 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., Ann. Math. Artif. Intell. 66, No. 1--4, 257--271 (2012; Zbl 1272.03064) Full Text: DOI arXiv
Benzmüller, Christoph Combining and automating classical and non-classical logics in classical higher-order logics. (English) Zbl 1252.03025 Ann. Math. Artif. Intell. 62, No. 1-2, 103-128 (2011). MSC: 03B35 03B62 03B42 03B45 03B20 03B15 68T27 68T30 68T15 PDFBibTeX XMLCite \textit{C. Benzmüller}, Ann. Math. Artif. Intell. 62, No. 1--2, 103--128 (2011; Zbl 1252.03025) Full Text: DOI
Benzmüller, Christoph; Paulson, Lawrence C. Multimodal and intuitionistic logics in simple type theory. (English) Zbl 1222.03023 Log. J. IGPL 18, No. 6, 881-892 (2010). Reviewer: Viorica Sofronie-Stokkermans (Saarbrücken) MSC: 03B45 03B15 03B20 03B35 68T15 PDFBibTeX XMLCite \textit{C. Benzmüller} and \textit{L. C. Paulson}, Log. J. IGPL 18, No. 6, 881--892 (2010; Zbl 1222.03023) Full Text: DOI Link
Benzmüller, Christoph; Brown, Chad E.; Kohlhase, Michael Higher-order semantics and extensionality. (English) Zbl 1071.03024 J. Symb. Log. 69, No. 4, 1027-1088 (2004). MSC: 03C85 03B15 03B35 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., J. Symb. Log. 69, No. 4, 1027--1088 (2004; Zbl 1071.03024) Full Text: DOI