Embedding and automating conditional logics in classical higher-order logic (bibtex)
by C. Benzmuller, D. M. Gabbay, V. Genovese, D. Rispoli
Abstract:
A sound and complete embedding of conditional logics into\text[D?]classical higher-order logic is presented. This embedding\text[D?]enables the application of off-the-shelf higher-order automated theorem\text[D?]provers and model finders for reasoning within and about conditional logics.
Reference:
Embedding and automating conditional logics in classical higher-order logic (C. Benzmuller, D. M. Gabbay, V. Genovese, D. Rispoli), In , Springer, 2012.
Bibtex Entry:
@Article{10993/15851,
  Title                    = {Embedding and automating conditional logics in classical higher-order logic},
  Author                   = {Benzmuller, C. and Gabbay, D. M. and Genovese, V. and Rispoli, D.},
  Year                     = {2012},

  Abstract                 = {A sound and complete embedding of conditional logics into\text{[D?]}classical higher-order logic is presented. This embedding\text{[D?]}enables the application of off-the-shelf higher-order automated theorem\text{[D?]}provers and model finders for reasoning within and about conditional logics.},
  Publisher                = {Springer},
  Timestamp                = {2015.01.26}
}
Powered by bibtexbrowser