MiG

Embedding and automating conditional logics in classical higher-order logic

C. Benzmüller, Dov Gabbay, Valerio Genovese, and Daniele Rsipoli— 2012

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.

TitelEmbedding and automating conditional logics in classical higher-order logic
VerfasserC. Benzmüller, Dov Gabbay, Valerio Genovese, and Daniele Rsipoli
VerlagSpringer Verlag
Datum2012
Kennungdx.doi.org/10.1007/s10472-012-9320-z
Quelle/n
Erschienen inAnnals of Mathematics and Artificial Intelligence. ISSN 1012-2443, Volume 66, Issue 1-4
Spracheeng
ArtText
Größe oder Längepp. 257-271