4 citations · 5 across the 2 of their papers we have counts for
2 papers
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.
cs.AI2011★ 4 cited
Embedding and Automating Conditional Logics in Classical Higher-Order Logic
Christoph Benzmueller, Dov Gabbay, Valerio Genovese +1
A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated…