Quantified Conditional Logics are Fragments of HOL

04/26/2012
by   Christoph Benzmueller, et al.
0

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

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset