Quantified Conditional Logics are Fragments of HOL

04/26/2012

∙

by   Christoph Benzmueller, et al.

∙

0

∙

share

A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.