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
Logic/Philosophical aspects
Subject Classification
AMS: Mathematical logic and foundations / Philosophical aspects of logic and foundations
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
2019
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
Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL
by Daniel Kirchner