Computer Science and Metaphysics: A Cross-Fertilization

v1v2v3v4 (latest)

Computer Science and Metaphysics: A Cross-Fertilization

1 May 2019

Daniel Kirchner

Christoph Benzmüller

ArXiv (abs)PDF HTML

Papers citing "Computer Science and Metaphysics: A Cross-Fertilization"

7 / 7 papers shown

Title
Automated Kantian Ethics: A Faithful Implementation Lavanya Singh 33 0 0 20 Jul 2022
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof C. Wernhard 18 0 0 21 Oct 2021
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis D. Fuenmayor Christoph Benzmüller 8 1 0 02 Jul 2020
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument Christoph Benzmüller 18 6 0 14 Jan 2020
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument Christoph Benzmüller D. Fuenmayor 18 5 0 20 Oct 2019
Extensional Higher-Order Paramodulation in Leo-III A. Steen Christoph Benzmüller LRM 37 25 0 26 Jul 2019
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support Christoph Benzmüller X. Parent Leendert van der Torre AILaw 15 5 0 25 Mar 2019