1 research outputs found
Quantified Conditional Logics are Fragments of HOL
A semantic embedding of (constant domain) quantified conditional logic in
classical higher-order logic is presented.Comment: This work has been presented at the conference on Non-classical Modal
and Predicate Logics 2011, Guangzhou (Canton), China, 5-9 December 201