research
∙
04/26/2012
Quantified Conditional Logics are Fragments of HOL
A semantic embedding of (constant domain) quantified conditional logic i...
research
∙
06/18/2011