pith. sign in

Christoph Benzm\"uller

Identifiers

  • name variant Christoph Benzm\"uller 0.60 · backfill

Papers (17)

  1. Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint) cs.LO · 2026 · author #1
  2. Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint) cs.AI · 2026 · author #2
  3. Solving Quantified Modal Logic Problems by Translation to Classical Logics cs.LO · 2022 · author #3
  4. On Reductions of Hintikka Sets for Higher-Order Logic cs.LO · 2020 · author #2
  5. What is a proof? What should it be? math.HO · 2019 · author #1
  6. Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories cs.LO · 2019 · author #2
  7. First Experiments with a Flexible Infrastructure for Normative Reasoning cs.AI · 2018 · author #1
  8. I/O Logic in HOL --- First Steps cs.AI · 2018 · author #1
  9. Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL cs.AI · 2018 · author #1
  10. The Higher-Order Prover Leo-III (Extended Version) cs.AI · 2018 · author #2
  11. Mechanizing Principia Logico-Metaphysica in Functional Type Theory cs.LO · 2017 · author #2
  12. Universal Reasoning, Rational Argumentation and Human-Machine Interaction cs.AI · 2017 · author #1
  13. Axiomatizing Category Theory in Free Logic cs.LO · 2016 · author #1
  14. LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners cs.LO · 2015 · author #3
  15. Proceedings Eleventh Workshop on User Interfaces for Theorem Provers cs.LO · 2014 · author #1
  16. Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence cs.LO · 2013 · author #1
  17. Update report: LEO-II version 1.5 cs.LO · 2013 · author #1

Mentions

  • 1505.01629 #3 · backfill · confidence 0.70 Christoph Benzm\"uller
  • 2004.07506 #2 · arxiv_oai · confidence 0.70 Christoph Benzm\"uller
  • 1410.7850 #1 · backfill · confidence 0.70 Christoph Benzm\"uller
  • 1308.4526 #1 · backfill · confidence 0.70 Christoph Benzm\"uller
  • 2605.27246 #1 · arxiv_oai · confidence 0.70 Christoph Benzm\"uller
  • 2605.26942 #2 · arxiv_oai · confidence 0.70 Christoph Benzm\"uller
  • 1303.3761 #1 · backfill · confidence 0.70 Christoph Benzm\"uller

Frequent Coauthors