Quantified Conditional Logics are Fragments of HOL

This work provides a formal foundation for logicians and computer scientists interested in integrating conditional reasoning into higher-order systems, but it is incremental as it builds on existing embedding techniques.

The authors tackled the problem of representing quantified conditional logic within classical higher-order logic by developing a semantic embedding, showing that it can be expressed as a fragment of HOL.