40 citations · 211 across the 45 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012
FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends
Christoph Benzmueller, Thomas Raths
A converter from first-order modal logics to classical higher- order logic is presented. This tool enables the application of off-the-shelf higher-order theorem provers and model f…
cs.AI2012★ 1 cited
Quantified Conditional Logics are Fragments of HOL
Christoph Benzmueller, Valerio Genovese
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.