Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset) by Xavier Parent and Christoph Benzmüller Mar 09
Automation of Boolos' Curious Inference in Isabelle/HOL by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe Dec 05
Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL by Christoph Benzmüller Nov 08
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL by David Fuenmayor and Christoph Benzmüller Oct 30
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument by David Fuenmayor and Christoph Benzmüller Sep 21
Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL by Daniel Kirchner Sep 17