Embedding and Automating Conditional Logics in Classical Higher-Order Logic

06/18/2011
by   Christoph Benzmueller, et al.
0

A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and model finders for reasoning within and about conditional logics.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset