[en] 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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2012-1297
Author, co-author :
Benzmuller, Christoph; Freie Universität Berlin, Berlin
Gabbay, Dov M. ; King’s College London, London, UK > Department of Computer Science
Genovese, Valerio ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Rispoli, Daniele; University of Torino, Torino
Language :
English
Title :
Embedding and automating conditional logics in classical higher-order logic
