Get our free extension to see links to code for papers anywhere online!Free add-on: code for papers everywhere!Free add-on: See code for papers anywhere!
Add to Chrome
Add to Firefox
Add to EdgeQuantified Conditional Logics are Fragments of HOL
Paper and Code
Apr 26, 2012
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.
* This work has been presented at the conference on Non-classical Modal
and Predicate Logics 2011, Guangzhou (Canton), China, 5-9 December 2011
View paper on