10 citations · 41 across the 24 of their papers we have counts for
1 paper · 1 filter
Christoph Benzmueller, Dov Gabbay, Valerio Genovese +1
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…