Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)
by Xavier Parent 📧 and Christoph Benzmüller 📧
by Xavier Parent 📧 and Christoph Benzmüller 📧
Christoph Benzmüller
Homepages 🌐
E-Mails 📧
Entries
2024
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 🌐