Embedding and automating conditional logics in classical higher-order logic

Christoph 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.

Titel
Embedding and automating conditional logics in classical higher-order logic
Verfasser
Christoph Benzmüller, Dov Gabbay, Valerio Genovese, and Daniele Rsipoli
Verlag
Springer Verlag
Datum
2012
Kennung
dx.doi.org/10.1007/s10472-012-9320-z
Quelle/n
Erschienen in
Annals of Mathematics and Artificial Intelligence. ISSN 1012-2443, Volume 66, Issue 1-4
Größe oder Länge
pp. 257-271