Publications

Results 1-10 of 10

TitleYear of publicationAuthor(s)
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument uniba/551642020Benzmüller, Christoph  ; Fuenmayor, David  
Value-Oriented Legal Argumentation in Isabelle/HOL uniba/552012021Benzmüller, Christoph  ; Fuenmayor, David  
Dyadic Deontic Logic in HOL : Faithful Embedding and Meta-Theoretical Experiments uniba/544322022Benzmüller, Christoph  ; Farjami, Ali; Parent, Xavier
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy uniba/544972022Benzmüller, Christoph  ; Reiche, Sebastian
Mechanizing prinzipia Logico-Metaphysica in functional type-theory uniba/545112019Kirchner, Daniel ; Benzmüller, Christoph  ; Zalta, Edward N.
Exploring Simplified Variants of Gödel's Ontological Argument in Isabelle/HOL uniba/555722021Benzmüller, Christoph  
Designing normative theories for ethical and legal reasoning : LogiKEy framework, methodology, and tool support uniba/555752020Benzmüller, Christoph  ; Parent, Xavier; van der Torre, Leendert
Automating Free Logic in HOL, with an Experimental Application in Category Theory uniba/555772020Benzmüller, Christoph  ; Scott, Dana S.
Extensional Higher-Order Paramodulation in Leo-III uniba/555782021Steen, Alexander; Benzmüller, Christoph  
Symbolic AI and Gödel's Ontological Argument uniba/555522022Benzmüller, Christoph