Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL
by Christoph Benzmüller
Christoph Benzmüller
2021
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
Axiom Systems for Category Theory in Free Logic
by Christoph Benzmüller and Dana Scott
2017
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
by David Fuenmayor and Christoph Benzmüller
Types, Tableaus and Gödel’s God in Isabelle/HOL
by David Fuenmayor and Christoph Benzmüller
2013
Gödel's God in Isabelle/HOL
by Christoph Benzmüller and Bruno Woltzenlogel Paleo