Kanckos, Annika; Lethen, Tim The development Of Gödel’s ontological proof. (English) Zbl 1517.03017 Rev. Symb. Log. 14, No. 4, 1011-1029 (2021). MSC: 03B45 03B16 01A60 03-03 PDFBibTeX XMLCite \textit{A. Kanckos} and \textit{T. Lethen}, Rev. Symb. Log. 14, No. 4, 1011--1029 (2021; Zbl 1517.03017) Full Text: DOI
Steen, Alexander; Benzmüller, Christoph Extensional higher-order paramodulation in Leo-III. (English) Zbl 1509.68321 J. Autom. Reasoning 65, No. 6, 775-807 (2021). MSC: 68V15 03B16 03B35 03B45 PDFBibTeX XMLCite \textit{A. Steen} and \textit{C. Benzmüller}, J. Autom. Reasoning 65, No. 6, 775--807 (2021; Zbl 1509.68321) Full Text: DOI arXiv
Benzmüller, Christoph; Parent, Xavier; van der Torre, Leendert Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. (English) Zbl 1493.68286 Artif. Intell. 287, Article ID 103348, 28 p. (2020). MSC: 68T01 03A05 03B16 03B35 03B45 68T27 68T30 68V15 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., Artif. Intell. 287, Article ID 103348, 28 p. (2020; Zbl 1493.68286) Full Text: DOI arXiv
Gleißner, Tobias; Steen, Alexander The MET: the art of flexible reasoning with modalities. (English) Zbl 1518.68416 Benzmüller, Christoph (ed.) et al., Rules and reasoning. Second international joint conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11092, 274-284 (2018). MSC: 68V15 03B45 PDFBibTeX XMLCite \textit{T. Gleißner} and \textit{A. Steen}, Lect. Notes Comput. Sci. 11092, 274--284 (2018; Zbl 1518.68416) Full Text: DOI
Kanckos, Annika; Woltzenlogel Paleo, B. Variants of Gödel’s ontological proof in a natural deduction calculus. (English) Zbl 1417.03153 Stud. Log. 105, No. 3, 553-586 (2017). MSC: 03B45 03F03 03A05 PDFBibTeX XMLCite \textit{A. Kanckos} and \textit{B. Woltzenlogel Paleo}, Stud. Log. 105, No. 3, 553--586 (2017; Zbl 1417.03153) Full Text: DOI Link
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
Beziau, Jean-Yves; Silvestre, Ricardo Logic and religion. (English) Zbl 1364.03007 Log. Univers. 11, No. 1, 1-12 (2017). MSC: 03-06 03A05 00B25 PDFBibTeX XMLCite \textit{J.-Y. Beziau} and \textit{R. Silvestre}, Log. Univers. 11, No. 1, 1--12 (2017; Zbl 1364.03007) Full Text: DOI
Benzmüller, Christoph; Woltzenlogel Paleo, Bruno Higher-order modal logics: automation and applications. (English) Zbl 1358.68273 Faber, Wolfgang (ed.) et al., Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 – August 4, 2015. Tutorial lectures. Cham: Springer (ISBN 978-3-319-21767-3/pbk; 978-3-319-21768-0/ebook). Lecture Notes in Computer Science 9203, 32-74 (2015). MSC: 68T27 03B35 03B45 68T15 PDFBibTeX XMLCite \textit{C. Benzmüller} and \textit{B. Woltzenlogel Paleo}, Lect. Notes Comput. Sci. 9203, 32--74 (2015; Zbl 1358.68273) Full Text: DOI
Benzmüller, Christoph Invited talk: On a (quite) universal theorem proving approach and its application in metaphysics. (English) Zbl 1471.68302 De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 213-220 (2015). MSC: 68V15 03A05 03B16 03B35 PDFBibTeX XMLCite \textit{C. Benzmüller}, Lect. Notes Comput. Sci. 9323, 213--220 (2015; Zbl 1471.68302) Full Text: DOI