Christoph Benzmueller

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Nonmonotonic Inference

Cut Elimination

Higher Order Logic

Top Venues

Arch. Formal Proofs

Publications

Christoph Benzmueller, Bruno Woltzenlogel Paleo
Gödel's God in Isabelle/HOL. Arch. Formal Proofs 2013 (2013)
Christoph Benzmueller
Automating Quantified Conditional Logics in HOL. IJCAI (2013)
Christoph Benzmueller, Valerio Genovese
Quantified Conditional Logics are Fragments of HOL CoRR (2012)
Christoph Benzmueller, Thomas Raths
FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends CoRR (2012)
Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli
Embedding and Automating Conditional Logics in Classical Higher-Order Logic CoRR (2011)
Christoph Benzmueller
Simple Type Theory as Framework for Combining Logics. CoRR (2010)
Christoph Benzmueller
Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study CoRR (2009)