Picture for Christoph Benzmueller

Christoph Benzmueller

Eds.

Lectures on Jacques Herbrand as a Logician

Add code
May 27, 2014
Figure 1 for Lectures on Jacques Herbrand as a Logician
Viaarxiv icon

FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends

Add code
Jul 28, 2012
Viaarxiv icon

Quantified Conditional Logics are Fragments of HOL

Add code
Apr 26, 2012
Viaarxiv icon

Embedding and Automating Conditional Logics in Classical Higher-Order Logic

Add code
Aug 17, 2011
Figure 1 for Embedding and Automating Conditional Logics in Classical Higher-Order Logic
Figure 2 for Embedding and Automating Conditional Logics in Classical Higher-Order Logic
Viaarxiv icon

Simple Type Theory as Framework for Combining Logics

Add code
Apr 30, 2010
Figure 1 for Simple Type Theory as Framework for Combining Logics
Viaarxiv icon

Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study

Add code
May 27, 2009
Figure 1 for Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
Figure 2 for Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
Figure 3 for Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
Figure 4 for Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
Viaarxiv icon

Granularity-Adaptive Proof Presentation

Add code
May 25, 2009
Figure 1 for Granularity-Adaptive Proof Presentation
Viaarxiv icon

Quantified Multimodal Logics in Simple Type Theory

Add code
May 14, 2009
Viaarxiv icon

Automating Access Control Logics in Simple Type Theory with LEO-II

Add code
Mar 04, 2009
Figure 1 for Automating Access Control Logics in Simple Type Theory with LEO-II
Figure 2 for Automating Access Control Logics in Simple Type Theory with LEO-II
Figure 3 for Automating Access Control Logics in Simple Type Theory with LEO-II
Viaarxiv icon

Cut-Simulation and Impredicativity

Add code
Mar 02, 2009
Figure 1 for Cut-Simulation and Impredicativity
Figure 2 for Cut-Simulation and Impredicativity
Figure 3 for Cut-Simulation and Impredicativity
Viaarxiv icon