AIApr 26, 2012
Quantified Conditional Logics are Fragments of HOLChristoph Benzmueller, Valerio Genovese
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.
Valerio Genovese
1paper
Christoph Benzmueller, Valerio Genovese
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.