Embedding and automating conditional logics in classical higher-order logic

作者：Benzmueller Christoph; Gabbay Dov; Genovese Valerio; Rispoli Daniele

来源：Annals of Mathematics and Artificial Intelligence, 2012, 66(1-4): 257-271.

DOI：10.1007/s10472-012-9320-z

• Conditional logics
• Classical higher-order logic
• Semantic embedding
• Automated theorem proving

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.

• 出版日期2012-12