Embedding and Automating Conditional Logics in Classical Higher-Order Logic

Christoph Benzmueller; Daniele Rispoli; Dov Gabbay; Valerio Genovese

arxiv: 1106.3685 · v3 · pith:X5K3DPUPnew · submitted 2011-06-18 · 💻 cs.AI · cs.LO· math.LO

Embedding and Automating Conditional Logics in Classical Higher-Order Logic

Christoph Benzmueller , Dov Gabbay , Valerio Genovese , Daniele Rispoli This is my paper

classification 💻 cs.AI cs.LOmath.LO

keywords conditionalembeddinghigher-orderlogicsclassicallogicapplicationautomated

0 comments

read the original abstract

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.

This paper has not been read by Pith yet.

Embedding and Automating Conditional Logics in Classical Higher-Order Logic

discussion (0)