Quantified Conditional Logics are Fragments of HOL
  A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented. 
Christoph Benzmueller and Valerio Genovese
cs.AI cs.LO