research
∙
07/28/2012
FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends
A converter from first-order modal logics to classical higher- order log...
share
research
∙
04/26/2012
Quantified Conditional Logics are Fragments of HOL
A semantic embedding of (constant domain) quantified conditional logic i...
research
∙
06/18/2011
Embedding and Automating Conditional Logics in Classical Higher-Order Logic
A sound and complete embedding of conditional logics into classical high...
research
∙
04/30/2010
Simple Type Theory as Framework for Combining Logics
Simple type theory is suited as framework for combining classical and no...
research
∙
05/27/2009
Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
In a case study we investigate whether off the shelf higher-order theore...
research
∙
05/14/2009