|
|||||
|
|
Embedding and automating conditional logics in classical higher-order logic |
|
| Authors: | Christoph Benzmüller Dov Gabbay Valerio Genovese Daniele Rispoli |
| Affiliation: | 1. Freie Universit?t Berlin, Berlin, Germany 2. King??s College London, Surrey Street, London, Greater London, WC2R 2LS, UK 3. University of Luxembourg, Walferdange, Luxembourg 4. University of Torino, Torino, Italy |
| 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |