Embedding and Automating Conditional Logics in Classical Higher-Order Logic
Artificial Intelligence
2011-08-18 v3 Logic in Computer Science
Logic
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.
Cite
@article{arxiv.1106.3685,
title = {Embedding and Automating Conditional Logics in Classical Higher-Order Logic},
author = {Christoph Benzmueller and Dov Gabbay and Valerio Genovese and Daniele Rispoli},
journal= {arXiv preprint arXiv:1106.3685},
year = {2011}
}
Comments
15 pages, 1 Figure, 1 Table