Christoph Benzmüller
Homepages 🌐
E-Mails 📧
Entries
2025
Notes on Gödel’s and Scott’s Variants of the Ontological Argument (Isabelle/HOL dataset)
by Christoph Benzmüller and Dana Scott
2024
Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)
by Xavier Parent and Christoph Benzmüller
2022
Automation of Boolos' Curious Inference in Isabelle/HOL
by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe
2021
Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL
by Christoph Benzmüller
Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL
by Christoph Benzmüller and Sebastian Reiche
2018
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL
by David Fuenmayor and Christoph Benzmüller
2017
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
by David Fuenmayor and Christoph Benzmüller